isabelle

6El calor

3Respuesta

¿Es posible no importar ninguna teoría en Isabelle?

Quiero definir mi propio tipo de lista en una teoría llamada List, pero ya existe una teoría con ese nombre. ¿Existe una teoría más ligera que Main?

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