Bot releases are hidden (Show)
Published by valis over 2 years ago
<
, <=
, and =
.Published by valis about 3 years ago
Published by valis over 3 years ago
Published by valis over 3 years ago
Z/nZ
and the field structure on it for prime n
simp_coe
metacases
meta and improved mcases
metaunfold
and unfold_let
metasPublished by valis about 4 years ago
println
, random
, time
)mcases
Published by valis about 4 years ago
at
meta.contradiction
meta.Published by valis over 4 years ago
Updates:
Published by valis over 4 years ago
Implemented a few tactics: rewrite, repeat, apply, solver for monoids.
Published by valis almost 5 years ago
A proof of the generalized Blakers-Massey theorem.
Published by valis about 5 years ago
Minor updates