 Mathematical Intelligence (Proof assistant)

ID: mathematical-intelligence-proof-assistant

 Top articles  Latest articles + New article in topic

Mathematical Intelligence (Proof assistant) by

Ciro Santilli 35  Updated 2025-03-28  +Created 2025-03-28

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!