digama0

Mario Carneiro

Joined crates-io 3 years ago. Joined GitHub 13 years ago.

Member of GitHub orgs

leanprover-community

Shares crates with

imbrem