Tag: coq

2025-06-09

• assistants
• coq
• meta
• persuade
• proof

2025-06-08

• coq
• opam
• vscode
• proof

2025-04-29

• bib
• logic
• mathematics
• theory
• coq

2025-04-29

• coq
• notes
• proofassistants
• lecture

2024-12-01

• bib
• coq
• logic
• fleeting

2024-12-01

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

2024-12-01

• coq
• emacs
• install