search

leanprover-community / lean4-samples

Code samples for Lean 4
Apache License 2.0
69 stars 23 forks source link

Add more to natural numbers #13

Closed lovettchris closed 2 years ago

lovettchris commented 2 years ago

PowerWorld, FunctionWorld and PropositionWorld.