examples/Examples/InteractExamplewq7qv14t79cvc.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. structure Semigroup line 1 source

   no axioms what this means

2. instance (instance at line 6) line 6 source
3. instance (instance at line 11) line 11 source