Show HN: Formalizing Principia Mathematica using Lean

Comments

Hacker News Apr 25, 2025 0 24 Add to Reading List

Show HN: Formalizing Principia Mathematica using Lean

Comments

What's Your Reaction?

0

Like

0

Dislike

0

Love

0

Funny

0

Angry

0

Sad

0

Wow

Passionate small family-based developer creating innovative solutions with a personal touch. Simplifying complexities one line of code at a time.

Comments