All Questions
1 question
59
votes
9
answers
7k
views
Has anyone thought about creating a formal proof wiki with verifier?
Mathematics has undergone some rather nice developments recently with the adoption of new techologies, things like on-line journals, the arXiv, this website, etc. I imagine there must be many further ...