coq

8El calor

6Respuesta

Sistema interactivo de prueba de matemáticas

Estoy buscando una herramienta (GUI preferida pero la CLI funcionaría) que me permite ingresar expresiones matemáticas y luego realizar manipulaciones de ellas, pero me restringe solo a operaciones ma

math coq theorem-proving isabelle proof-system 2009-04-10

---