jdevuyst / tableaux

Tableau-based theorem prover for public announcement logic

6101

jdevuyst/tableaux Stargazers

Benjamin E. Oliver
beoliver
François Schwarzentruber
francoisschwarzentruber
Jake Chvatal
jakeisnt
Jakub Błaszczyk
jblaszczyk
Malvin Gattinger
m4lvin
ndcroos

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.