SPB Git
spboucher.ai

spb/wp28_uqo

Public
History
NameLast commitUpdated
..
WP28Algebra.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 c48d26002272508153a2ce678b7adaabbb27d0c4
Files · c48d26002272508153a2ce678b7adaabbb27d0c4
Menu

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