#

naproche

Here are 3 public repositories matching this topic...

naproche / naproche

Write formal proofs in natural language and LaTeX.

latex naproche forthel

Updated Oct 27, 2024
Haskell

McEarl / forthel-syntax

Complete reference of the syntax of ForTheL

naproche forthel

Updated Dec 12, 2022
Shell

McEarl / language-forthel

Syntax highlighting for ForTheL and LaTeX in Pulsar

latex naproche forthel pulsar-edit

Updated Jun 22, 2023
Less

Improve this page

Add a description, image, and links to the naproche topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the naproche topic, visit your repo's landing page and select "manage topics."