2 results found Sort:

AthenaFoundation
athena AthenaFoundation
4
65
apache-2.0
1
Athena is a modern, practical language for proof engineering & natural deduction.
logic proof-language proof-assistant theorem-proving natural-deduction formal-verification functional-programming
Created 2022-05-02
95 commits to master branch, last one 27 days ago
daviromero
nadia daviromero
0
29
mit
1
Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style
logic proof-assistant natural-deduction educational-software
Created 2022-11-17
64 commits to main branch, last one 11 months ago