typstPackages.frederic

Fitch-style natural deduction proofs

Name

frederic

Homepage

• https://github.com/Lipen/typst-fitch

Version

0.1.0

License

• MIT License

Maintainers

• Gongqi Huang
• Ross Smyth

Defined

Source