Member of GitHub orgs
leanprover-communityShares crates with
imbremdigama0 created 7 crates
-
dae-parser
Sole owner since Oct 2021. Last updated 6 months ago. -
minidom-14
Sole owner since Mar 2023. Last updated 6 months ago. -
metamath-rs
Sole owner since Apr 2024. Last updated a year ago. -
mm0b_parser
Sole owner since Apr 2021. Last updated 3 years ago. -
mm0_util
Sole owner since Apr 2021. Last updated 3 years ago. -
mm0_deepsize
Sole owner since Apr 2021. Last updated 3 years ago. -
mm0_deepsize_derive
Sole owner since Apr 2021. Last updated 3 years ago.