cnalon

Pinned Repositories

aar_newsletter
0 2 00
benchmarks
00
Encyclopedia
An Open Encyclopedia of Proof Systems
Language:TeX00
TABLEAUX-FroCoS-ITP
Website of the 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods.
Language:HTML1 3 40
tac
Simple three address code virtual machine.
Language:C++40
TG
My undergrad final project.
Language:TeX00
paar2024.github.io
Web page of PAAR 2024 workshop
Language:HTML00

cnalon's Repositories

cnalon/aar_newsletter
0 2 00
cnalon/benchmarks
00
cnalon/Encyclopedia
An Open Encyclopedia of Proof Systems
Language:TeX00