Skip to content
SPB Git
Repositories
Activity
API
Search repositories, files, commits…
⌘K
spboucher.ai
spb
/
wp28_uqo
Public
20
commits
1
branches
0
releases
272.5 MB
on disk
main
default branch
4 days ago
last push
TeX
61.1%
Python
37.9%
Shell
0.9%
Code
Commits
20
Branches
1
Releases
0
Insights
Branch or tag
main (default)
wp28_uqo
theory
lean
wp28proofs
Files
History
Clone
Name
Last commit
Updated
..
.github
WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
5 days ago
Wp28proofs
WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
5 days ago
.gitignore
WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
5 days ago
lake-manifest.json
WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
5 days ago
lakefile.toml
WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
5 days ago
lean-toolchain
WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
5 days ago
README.md
WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
5 days ago
Wp28proofs.lean
WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
5 days ago
Clone wp28_uqo
HTTPS
Copy
Anonymous clone and fetch. Pushing requires the owner's personal access token.
spbgit CLI
Copy
ZIP
tar.gz
snapshot of
main
Files ·
main
Menu
Home
Repositories
Activity
Commit calendar
Search
JSON API
Atom feed
spboucher.ai
contact@spboucher.ai
Theme
System
Light
Dark
Midnight
System
Light
Dark
Midnight
All
Repos
Files
Commits
Branches