+- MKLab (https://mklab.gr)
+-- Forum: [INDEX] (https://mklab.gr/forumdisplay.php?fid=1)
+--- Forum: ARTFICIAL INTELLIGENCE (AI) (https://mklab.gr/forumdisplay.php?fid=5)
+---- Forum: ARTICLES (https://mklab.gr/forumdisplay.php?fid=33)
+---- Thread: Proof Assistants Stack Exchange (/showthread.php?tid=2047)
Proof Assistants Stack Exchange - mklabgr - 09-18-2026
The Proof Assistants Stack Exchange is an online community for people interested in formal mathematics and computer-verified proofs. Members discuss systems such as Lean, Coq/Rocq, Isabelle, Agda, HOL, and others, asking questions about how to formalize mathematical statements, construct proofs, use libraries, and understand the underlying logic.
COMMUNITY