Universe

Visualize Fitch-style proof diagrams, using custom syntax optimized for speedy writing and conciseness.

While the main functionality of the library is ready, the library is still in development. See the roadmap here.

Usage

For more information see the manual.

Example

#import "@preview/fitchcraft:1.0.0": *

== Non-Contradiction: $tack.r not (p and not p)$
Proof (`fixed` mode to the default `2.5em`): 
#proof((
open,
  $(p and not p)$,
  assume,
  ($p$, $and E  quad 1$),
  ($not p$, $and E  quad 2$),
  ($tack.t$, $tack.t I quad 1,2$),
close,
($not (p and not p)$, $not I quad 1-4$)
))

example image

See the examples document for more.