Let's strive to have our mistakes be honest mistakes.

Home
Contact Us
Resources

Foundations

A Casual Intro to Formalization

A Casual Intro to Formalization

Mike

2025-09-29

Formalization, Math

We give a gentle intro to one formalization method – using Lean4 with Mathlib.

Recent Posts

Exploring the Fermi Paradox
More About the Knowledge Tier System
About edugovnet.com
A Casual Intro to Formalization
A Universal Object and More Polynomial Stuff

Categories

Algorithms 10
Epistemology 3
Fields 5
Formalization 1
Group Theory 9
Linear Algebra 2
Math 29
Number Theory 1
Philosophy of Science 3
Rings 9
Sets 5
Sorting 3

Tags

Algebras Axiomatic Set Theory Bernstein Binomial Expansion Brief Window Hypothesis Cantor Cantor-Bernstein Cardinal Arithmetic Cardinality of Set Cardinals Category Theory Chinese Remainder Theorem Complexity Dot Product Epistemology Factorial Fermi Paradox Foundations Free Object Geometry Great Circle Homomorphisms Ideals Infinite Sums Jordan-Holder Knowledge Tier System Lattices Lean4 Limit Ordinal Localization Map of Earth Mathlib Matrices Median Finding Median of Medians Modules Morphisms Omp Orbits Order Types Ordinal Arithmetic Ordinals Parallel Computing Parallel Sorting Permutations Prime Numbers Probability Sets Subgroups Successor Ordinal Sylow's Theorems Transfinite Induction Trigonometry Vector Spaces Zassenhaus ZFC

Social

© 2025 EduGovNet.com. Generated with Hugo and Roadster theme.