Tag: coq

2025-06-08

• coq
• proof
• assistants
• persuade
• meta

2025-06-07

• coq
• opam
• vscode
• proof

2025-04-28

• bib
• logic
• mathematics
• theory
• coq

2025-04-28

• coq
• notes
• proofassistants
• lecture

2024-11-30

• bib
• coq
• logic
• fleeting

2024-11-30

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

2024-11-30

• coq
• emacs
• install