Tag: proofassistants

2025-04-28

• coq
• notes
• proofassistants
• lecture

2025-03-14

• bib
• proofassistants
• ai
• lean
• mathematics

2024-11-30

• coq
• emacs
• howtouse
• ide
• install
• proofassistants