MathsAI By Tuqa Alzahra AR
All tools
Formal Proof open-source 8 views

Lean4

Formal Proof for maths and AI

Visit website

Lean4 is an open-source formal proof tool for mathematics, data, and AI workflows.

Overview

Lean4 is an open-source formal proof tool for mathematics, data, and AI workflows.

You might also like

tool Solve compound inequalities A reusable AI prompt for solve compound inequalities, with explicit reasoning an… prompt Tommy's Trek - Times Tables Tommy's Trek - Times Tables game Class 3 Maths Addition and Subtraction (Complete Chapter) A YouTube lesson for primary learners aged 6-9, focused on Arithmetic..