k-lib

libraries of k theorem prover

Build status: ok passing tests

README Download
Authors
Documentation
    Tags
    Last updatedTuesday, January 25th, 2022 4:43:38am (UTC)
    Ring1
    ConflictsNone
    Dependencies
    Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaulthttps://github.com/racket-tw/k.git?path=k-lib#develop94032f8b3a3439ba5b6076f498b39ccf33e0bc5d
    Last checkedFriday, January 28th, 2022 2:43:19pm (UTC)
    Last editedMonday, January 10th, 2022 11:36:06pm (UTC)
    Date addedTuesday, January 4th, 2022 5:45:25pm (UTC)
    Modules
    • k/data/list.rkt
    • k/data/nat.rkt
    • k/data/vec.rkt
    • k/dec.rkt
    • k/equality.rkt
    • k/data/fin.rkt
    • k/data/bool.rkt