Projects

• Subtyping, Set Theory and Well-Definedness
• Build System
• Test Suite
• GUI
• Design Documentation
• User Manual
• Latex Syntax
• [Open Sourcing Literate Unit-B](Open Sourcing Literate Unit-B)

Simon

• de Bruijn indices and dependent types to enforce scoping rules statically
• integration of Pipes and Reactive Banana for the interactive prover
• Shared Variable Decomposition

Amin

• Web Prover
• Subtyping
• testing (increase coverage)
• deployment
• new syntax for events in the Unit-B parser
• real numbers (multiple type signatures, etc)

Other

• Web IDE
• Tutorial
• Plugins for Emacs and Sublime text