all.bend

bend-mathlib@0.1.0.0 · 7 lines · 0 definitions

1# bend-mathlib: machine-checked lemmas for Bend 2 (Nat, Bool, List, equality); import one module, e.g. bend-mathlib@0.1.0.0/nat.bend.
2# Not related to bend-math-lib. Source, index and license: https://github.com/bendlib/bendlib
3import Base
4import bend-mathlib@0.1.0.0/equal.bend as MEqual
5import bend-mathlib@0.1.0.0/bool.bend as MBool
6import bend-mathlib@0.1.0.0/nat.bend as MNat
7import bend-mathlib@0.1.0.0/list.bend as MList