SPB Git

spb/wp28_uqo

Public
History
NameLast commitUpdated
..
create-release.yml WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
lean_action_ci.yml WP28: Lean 4/Mathlib formalization of the algebraic core (27 theorems, no sorry)
update.yml 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 02dccf6a286d80f4c3ba3379a8a2b7a29c0d42b4
Files · 02dccf6a286d80f4c3ba3379a8a2b7a29c0d42b4
Menu

Theme