Miscellaneous


About the Miscellaneous category (2)
High assurance / high code complexity use of Coq (11)
Should other languages than English be allowed on the Discourse forum? ( 2 3 ) (46)
Is Coq able to prove the identity x = x for infinite precision real numbers? (12)
Syntax highlighting on Discourse (4)