search

Quelklef / fitch

Interactive proof assistant for Fitch-style natural deduction
https://maynards.site/fitch
3 stars 0 forks source link

Loading screen #19

Open Quelklef opened 2 years ago

Quelklef commented 2 years ago

would be nice