SPB Git
spboucher.ai

spb/wp28_uqo

Public
History
NameLast commitUpdated
..
.github WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
Wp28proofs WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
.gitignore WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
lake-manifest.json WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
lakefile.toml WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
lean-toolchain WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
README.md WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
Wp28proofs.lean WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)

Clone wp28_uqo

Anonymous clone and fetch. Pushing requires the owner's personal access token.

ZIP tar.gz snapshot of 8a1481974c47032baad5f1c3dd6c432cb30b89bb
Files · 8a1481974c47032baad5f1c3dd6c432cb30b89bb
Menu

Theme
↑↓ navigate ↵ open esc close / or ⌘K anywhere