all.bend checks

raw source on the hub · import bend-mathlib@0.7.1.0/all.bend as All

bend-mathlib: machine-checked lemmas for Bend 2 (Nat, Bool, List, String, Maybe, equality, order, algebra, permutations, sorting); import one module, e.g. bend-mathlib@0.7.1.0/nat.bend. Source, lemma index and license: https://github.com/bendlib/bendlib

11 imports

import Base
import ./equal.bend as MEqual
import ./bool.bend as MBool
import ./nat.bend as MNat
import ./list.bend as MList
import ./string.bend as MString
import ./perm.bend as MPerm
import ./sort.bend as MSort
import ./algebra.bend as MAlgebra
import ./order.bend as MOrder
import ./maybe.bend as MMaybe

This file declares nothing of its own.