Hacker News with Generative AI: Proof Checkers
« Back to main
A proof checker meant for education
(jsiek.github.io)
Deduce is an automated proof checker meant for use in education to help students:
Education
,
Proof Checkers
,
Software
,
Automated Reasoning
145 points by alabhyajindal 36 days ago |
51 comments
Terence Tao on proof checkers and AI programs
(scientificamerican.com)
Mathematics
,
Artificial Intelligence
,
Proof Checkers
331 points by antineutrino 319 days ago |
174 comments