Links

• The source code of Naproche:
  https://github.com/naproche/naproche
• The Isabelle Proof Assistant as part of which Naproche is distributed:
  https://isabelle.in.tum.de/Isabelle
• The E Theorem Prover used by Naproche:
  https://wwwlehre.dhbw-stuttgart.de/~sschulz/E/E.html
• The Vampire Theorem Prover used by Naproche:
  https://vprover.github.io/
• Naproche-ZF, an experimental natural theorem prover based on higher-order set theory:
  https://adelon.net/naproche-zf
• FTLex, a ForTheL tokenizer used by Naproche:
  https://github.com/McEarl/ftlex
• Naproche-SAD, the predecessor of Naproche:
  https://github.com/Naproche-SAD/Naproche-SAD
• Naproche 0, a predecessor of Naproche-SAD:
  https://naproche-net.github.io/
• SAD, a predecessor of Naproche-SAD:
  http://nevidal.org/sad.en.html
• An implementation of ForTheL in GF:
  https://github.com/aarneranta/gf-math/tree/main/grammars/forthel