Repositories list

• lean-lib

  Public
  dependent-typesverificationlean+ 1formal-proofs

  Lean

  •0•5•0•0•Updated Oct 16, 2019Oct 16, 2019

• serialize-instances

  Public
  Haskell

  •

  MIT License

  •1•1•0•0•Updated Apr 17, 2019Apr 17, 2019

• temporal-logic

  Public
  verificationleantemporal-logic+ 2formal-methodsformal-proofs

  Lean

  •3•9•0•0•Updated Jan 10, 2019Jan 10, 2019

• separation-logic

  Public
  Lean

  •1•8•0•0•Updated Aug 23, 2018Aug 23, 2018

• lean-tlc

  Public
  Lean

  •0•0•0•0•Updated Jul 1, 2018Jul 1, 2018

• lean-lens

  Public
  Lean

  •0•0•0•0•Updated May 4, 2018May 4, 2018

• hs-to-coq

  Public
  Convert Haskell source code to Coq source code

  Coq

  •

  MIT License

  •27•0•0•0•Updated Apr 3, 2018Apr 3, 2018

• reactive-pipes

  Public
  Haskell

  •

  MIT License

  •0•1•0•0•Updated Apr 1, 2018Apr 1, 2018

• lean-profiling

  Public
  Haskell

  •0•0•0•0•Updated Mar 27, 2018Mar 27, 2018

• lean-tutorials

  Public
  Lean

  •0•0•0•0•Updated Mar 14, 2018Mar 14, 2018

• unitb-semantics

  Public
  Proof of soundness of the Unit-B refinement calculus

  theorem-provingverificationunitb

  Lean

  •1•3•0•0•Updated Jan 25, 2018Jan 25, 2018

• unitb-pointers

  Public
  Lean

  •0•0•0•0•Updated Nov 22, 2017Nov 22, 2017

• set_theory

  Public
  Lean

  •0•0•0•0•Updated Nov 11, 2017Nov 11, 2017

• literate-unitb-complete

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

  verificationunitb

  Haskell

  •1•0•19•0•Updated Aug 24, 2017Aug 24, 2017

• axiomatic-classes

  Public
  Specify axioms for type classes and quickCheck all available instances

  type-classesquickcheckaxiom

  Haskell

  •

  MIT License

  •0•1•0•0•Updated Jul 13, 2017Jul 13, 2017

• reactive-banana-transformers

  Public
  Haskell

  •

  MIT License

  •0•0•0•0•Updated Jul 11, 2017Jul 11, 2017

• function-tables

  Public
  Haskell

  •0•0•0•0•Updated Jul 10, 2017Jul 10, 2017

• type-map

  Public
  Haskell

  •

  MIT License

  •0•0•0•0•Updated Jul 10, 2017Jul 10, 2017

• unitb.github.io

  Public
  Unit-B web site

  0•0•0•0•Updated Jul 2, 2017Jul 2, 2017

• literate-unitb-logic

  Public
  verificationtheorem-proverunitb

  Haskell

  •

  MIT License

  •0•1•0•0•Updated Jun 25, 2017Jun 25, 2017

• pretty-printable

  Public
  Haskell

  •

  MIT License

  •0•0•0•0•Updated Jun 25, 2017Jun 25, 2017

• unitb-testing

  Public
  Haskell

  •

  MIT License

  •0•0•0•0•Updated Jun 25, 2017Jun 25, 2017

• literate-unitb

  Public
  [INACTIVE] Development continued in literate-unitb-complete

  verificationunitb

  Haskell

  •

  MIT License

  •0•2•0•0•Updated Jun 25, 2017Jun 25, 2017

• literate-unitb-utils

  Public
  unitb

  Haskell

  •

  MIT License

  •0•0•0•0•Updated Apr 17, 2017Apr 17, 2017

• literate-unitb-scripts

  Public
  unitb

  Haskell

  •

  Other

  •0•0•0•0•Updated Apr 17, 2017Apr 17, 2017

• stack-git-hashes

  Public
  Haskell

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated Apr 17, 2017Apr 17, 2017

• literate-unitb-latex

  Public
  unitb

  Haskell

  •

  MIT License

  •0•0•0•0•Updated Apr 17, 2017Apr 17, 2017

• partial-order

  Public
  partial-orders

  Haskell

  •

  MIT License

  •0•0•0•0•Updated Apr 17, 2017Apr 17, 2017

• portable-template-haskell-lens

  Public
  Haskell

  •

  MIT License

  •0•1•0•0•Updated Apr 17, 2017Apr 17, 2017

• quickcheck-report

  Public
  Haskell

  •

  MIT License

  •0•1•0•0•Updated Apr 17, 2017Apr 17, 2017