Popular repositories Loading

1. ec2-webapp ec2-webapp Public

   Forked from rsms/ec2-webapp

   A template I use to quickly set up Node.js-backed web apps on Amazon EC2

   1

2. platonic-solids platonic-solids Public

   Lean 4 formalization of Wiedijk #50: there are exactly five Platonic solids

   Lean

3. PlatonicSolids PlatonicSolids Public

   Freek #50: Exactly five Platonic solids, formalized in Lean 4 + Mathlib

   Lean

4. AngleTrisection AngleTrisection Public

   Freek #8: Impossibility of trisecting the angle and doubling the cube, formalized in Lean 4 + Mathlib

   Lean

5. ForwardDiscovery ForwardDiscovery Public

   Forward theorem discovery engine for Lean 4 — computes bounded deductive closures from seed lemma sets

   Lean

6. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean