Questions tagged [proof-infrastructure]
IDEs and user interfaces for the proof assistants.
2
questions
6
votes
3
answers
1k
views
Tools like leanblueprint for other proof assistants, especially Coq?
In my (relatively little) experience with Lean, one of the things I’ve appreciated most is the leanblueprint tool. For those not familiar with it, it’s a tool for planning a Lean development and ...
13
votes
1
answer
189
views
Integration of proof assistants and Wikipedia-like websites?
I noticed that some of the Wikipedia.org entries that describe proofs of theorems also contain links to proofs of these theorems formalized in the Mizar proof assistant (example). There was one ...
