5 commits

Author	SHA1	Message	Date
jstoobysmith	a4e6a1613b	feat: Update mathlib4	2024-04-29 13:59:33 -04:00
jstoobysmith	aa07e23ebd	feat: update of Lean	2024-04-29 13:56:30 -04:00
jstoobysmith	891979b1c9	feat: Add results relating to the SM ACCs	2024-04-17 14:25:17 -04:00
jstoobysmith	13e7bb0f01	Fix docs	2024-04-17 08:20:05 -04:00
jstoobysmith	bf18f80605	Initial	2024-04-16 15:31:25 -04:00