Skip to main content

Questions tagged [proof-infrastructure]

IDEs and user interfaces for the proof assistants.

Filter by
Sorted by
Tagged with
5 votes
3 answers

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

Integration of proof assistants and Wikipedia-like websites?

I noticed that some of the entries that describe proofs of theorems also contain links to proofs of these theorems formalized in the Mizar proof assistant (example). There was one ...