 Mathematical Intelligence (Proof assistant)

ID: mathematical-intelligence-proof-assistant

 Top articles  Latest articles New article in topic

Mathematical Intelligence (Proof assistant) by

Ciro Santilli 37 Created 2025-03-28 Updated 2025-07-16

github.com/wenitte/mathematical-intelligence

This will never work but OK. New custom language after Lean.

 Read the full article

 New to topics? Read the docs here!