Pinned Repositories
aar_newsletter
benchmarks
Encyclopedia
An Open Encyclopedia of Proof Systems
TABLEAUX-FroCoS-ITP
Website of the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods.
tac
Simple three address code virtual machine.
TG
My undergrad final project.
paar2024.github.io
Web page of PAAR 2024 workshop
cnalon's Repositories
cnalon/aar_newsletter
cnalon/benchmarks
cnalon/Encyclopedia
An Open Encyclopedia of Proof Systems