acorrenson / Oratio

Translate natural deduction proofs into natural language.

8301

acorrenson/Oratio Stargazers

ghuysmans
Marcello Seri
mseri
Seb Mondet
smondet
Sora Morimoto
smorimoto
Thomas Gazagnaire
samoht
Arthur Correnson
acorrenson
adelon
Chris Pressey
cpressey

Links

ProductDiscover

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

Contact Site Admin: Giters.