GitHub - hwakoong13/hwakoong13.github.io: 📜 Generate formal proofs for Putnam 2025 problems using Lean, showcasing automated reasoning capabilities of Aristotle in LaTeX format.

hwakoong13 / hwakoong13.github.io Public

📜 Generate formal proofs for Putnam 2025 problems using Lean, showcasing automated reasoning capabilities of Aristotle in LaTeX format.

github.com/hwakoong13/aristotle_putnam25

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
mae		mae
index.md		index.md

About

📜 Generate formal proofs for Putnam 2025 problems using Lean, showcasing automated reasoning capabilities of Aristotle in LaTeX format.

github.com/hwakoong13/aristotle_putnam25

No releases published

No packages published