+ *.lean
- flycheck*.lean
- .#*.lean
- theories/
- algebra/
- data/
- logic/
- tools/
- smt/
- examples/
- bag.lean
- bv.lean
- complex.lean
- countable.lean
- encodable.lean
- equiv.lean
- data/finset/
- data/fintype/
- data/int/
- data/rat/
- data/real/
- data/examples/
- algebra/category/
- logic/examples/
- matrix.lean
- squash.lean
- stream.lean
- old_string.lean
- uprod.lean
- tuple.lean
- old_fin.lean
- pnat.lean
- hf.lean
- data/vector/
- data/set/
- interval.lean
- group_power.lean
- ring_power.lean
- group_bigops.lean
- order_bigops.lean
- ring_bigops.lean
- galois_connection.lean
- complete_lattice.lean
- homomorphism.lean