Naproche: A Proof Assistant for Controlled Natural Language Math

Naproche is a proof assistant that accepts controlled natural language embedded in LaTeX, translating mathematicians' narrative-style proofs into formal representations and verifying each proof step.

2026-09-23 ~ 2026-09-23 · 2 related posts

• Naproche: a proof assistant that reads math proofs written in controlled natural language — zetalyrae · 2026-09-23

1 near-duplicate retellings: zetalyrae