from Hacker News

Athena: A Programming Language for Proof Engineering and Natural Deduction

by fastneutron on 9/25/24, 3:06 PM with 0 comments