all.bend

bend-mathlib@0.8.1.0 · 14 lines · 0 definitions

1# bend-mathlib: machine-checked lemmas for Bend 2 (Nat, Bool, List, String, Maybe, equality, order, algebra, permutations, sorting, machine words); import one module, e.g. bend-mathlib@0.8.1.0/nat.bend.
2# Source, lemma index and license: https://github.com/bendlib/bendlib
3import Base
4import bend-mathlib@0.8.1.0/equal.bend as MEqual
5import bend-mathlib@0.8.1.0/bool.bend as MBool
6import bend-mathlib@0.8.1.0/nat.bend as MNat
7import bend-mathlib@0.8.1.0/list.bend as MList
8import bend-mathlib@0.8.1.0/string.bend as MString
9import bend-mathlib@0.8.1.0/perm.bend as MPerm
10import bend-mathlib@0.8.1.0/sort.bend as MSort
11import bend-mathlib@0.8.1.0/algebra.bend as MAlgebra
12import bend-mathlib@0.8.1.0/order.bend as MOrder
13import bend-mathlib@0.8.1.0/maybe.bend as MMaybe
14import bend-mathlib@0.8.1.0/u32.bend as MU32