Member of GitHub orgs
leanprover-communityMario Carneiro created 6 crates
-
dae-parser
Founded in Oct 2021. Last updated 2 months ago. -
minidom-14
Founded in Mar 2023. Last updated 2 months ago. -
mm0b_parser
Founded in Apr 2021. Last updated 2 years ago. -
mm0_util
Founded in Apr 2021. Last updated 2 years ago. -
mm0_deepsize
Founded in Apr 2021. Last updated 2 years ago. -
mm0_deepsize_derive
Founded in Apr 2021. Last updated 2 years ago.