Editor - Githubissues

melvic-ybanez / lohika

A Proof Generator for Entailments and Tautologies in First-order Logic

MIT License

37 stars 1 forks source link

Closed melvic-ybanez closed 2 weeks ago

melvic-ybanez commented 3 weeks ago

[x] Multiline input
[x] Syntax Highlighting
[x] Line numbers
[x] Auto-indentations
[x] ~~Fira Code (or any alternative font that supports ligatures)~~ Monaspace font
[ ] ~~Ligatures~~