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

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 ...
user9716869 - supports Ukraine's user avatar