Tools like Forester, TeX, or Typst are markup languages for writing documents. Djinn is an attempt at combining markup languages with interactive theorem provers -- the formal text may be machine-checked, and also compiled down to a human-readable form.
ehatti/djinn
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|