daviromero / nadiaLinks
Natural Deduction Proof Assistant (NADIA) is a tool for teaching Natural Deduction in Fitch-Style
☆30Updated 2 years ago
Alternatives and similar repositories for nadia
Users that are interested in nadia are comparing it to the libraries listed below
Sorting:
- Único roadmap de Haskell possível, do noob ao Thanos☆239Updated 2 years ago
- Tutorial de OCaml para iniciantes na Linguagem.☆389Updated 2 years ago
- Na Rinha de Algoritmos você deve utilizar suas habilidades para a criação de algoritmos eficientes para resolver problemas!