Skip to main content

Questions tagged [proof-infrastructure]

IDEs and user interfaces for the proof assistants.

Filter by
Sorted by
Tagged with
13 votes
1 answer
181 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 ...
user9716869 - supports Ukraine's user avatar