Changing the subtitle to something more suitable

LeePatPat / NatDud

System L-style Natural Deduction Learning Tool - validates and gives feedback on proofs

MIT License

1 stars 0 forks source link

Closed LeePatPat closed 5 months ago