TY  - RPRT
TI  - Formalization of the Filter Extension Principle (FEP) in Coq
AU  - Guowei Dou
AU  - Wensheng Yu
PY  - 2024
UR  - https://arxiv.org/abs/2407.06222
ID  - 2407.06222
ER  -