Skip to content
GitLab
Explore
Sign in
Yoan Geran
dkpltact
Repository
Branches
Overview
Active
Stale
All
Active branches
master
default
8ce9adab
·
Simplifications in eq_ind proofs.
·
Mar 15, 2024