Quelklef / fitch

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

fuckin urls don't copy+paste nicely #11

Closed Quelklef closed 2 years ago

Quelklef commented 3 years ago

urls include shit like parens which most apps don't like and also properly aren't technically allowed