Proof Assistants Stack Exchange is a question and answer site for mathematicians and computer scientists who develop and use proof assistants. It only takes a minute to sign up.

Anybody can ask a question
The best answers are voted up and rise to the top

48 views

276 views

174 views

251 views
+50

87 views

43 views

154 views

82 views

81 views

63 views

2k views

1k views

1 vote