GitHub - jbackk-lang/math-validator-3.0
Topologiczny walidator równań matematycznych. Poprawiono błędy i dodano nowy moduł paradoksy - narzędzie Walidator TIMDR potwierdził spójność wszystkich czterech triggerów w nowych modułach,logiczne i topologiczne (Galileusz, Skolem, CH, Gödel) przechodzą pełną klasyfikację, walidator samowalidujący
- #
- #
- #
- #
- #
- #
- 0
- Odpowiedz
