A first-order implementation of groupoids for Lean. Includes tactics for working with setoids, including equality.
fgdorais / lean-groupoids Goto Github PK
View Code? Open in Web Editor NEWfirst-order groupoids and tactics for the Lean Theorem Prover
License: Apache License 2.0