Skip to content
@unitb

Unit-B

The Unit-B Formal Method

Pinned Loading

  1. literate-unitb-complete literate-unitb-complete Public

    Verifier for Unit-B -- Alpha-stage software. Please don't post to HN or Reddit

    Haskell 1

  2. unitb-semantics unitb-semantics Public

    Proof of soundness of the Unit-B refinement calculus

    Lean 3 1

  3. temporal-logic temporal-logic Public

    Lean 9 3

  4. unitb-pointers unitb-pointers Public

    Lean

Repositories

Showing 10 of 55 repositories
  • lean-lib Public
    unitb/lean-lib’s past year of commit activity
    Lean 5 0 0 0 Updated Oct 16, 2019
  • serialize-instances Public
    unitb/serialize-instances’s past year of commit activity
    Haskell 1 MIT 1 0 0 Updated Apr 17, 2019
  • temporal-logic Public
    unitb/temporal-logic’s past year of commit activity
    Lean 9 3 0 0 Updated Jan 10, 2019
  • separation-logic Public
    unitb/separation-logic’s past year of commit activity
    Lean 8 1 0 0 Updated Aug 23, 2018
  • lean-tlc Public
    unitb/lean-tlc’s past year of commit activity
    Lean 0 0 0 0 Updated Jul 1, 2018
  • lean-lens Public
    unitb/lean-lens’s past year of commit activity
    Lean 0 0 0 0 Updated May 4, 2018
  • hs-to-coq Public Forked from antalsz/hs-to-coq

    Convert Haskell source code to Coq source code

    unitb/hs-to-coq’s past year of commit activity
    Coq 0 MIT 27 0 0 Updated Apr 3, 2018
  • reactive-pipes Public
    unitb/reactive-pipes’s past year of commit activity
    Haskell 1 MIT 0 0 0 Updated Apr 1, 2018
  • lean-profiling Public
    unitb/lean-profiling’s past year of commit activity
    Haskell 0 0 0 0 Updated Mar 27, 2018
  • lean-tutorials Public
    unitb/lean-tutorials’s past year of commit activity
    Lean 0 0 0 0 Updated Mar 14, 2018
View all repositories

Top languages

Loading…

Most used topics

Loading…