Skip to main content
Proof Assistants Beta

About

Ask Question
Tag Info
Info Newest Frequent Score Active Unanswered

For questions about constructive or intuitionistic logic. Constructive proofs can be extracted as programs.

Wikipedia

History Excerpt history