Skip to content

Latest commit

 

History

History
38 lines (29 loc) · 1.47 KB

README.md

File metadata and controls

38 lines (29 loc) · 1.47 KB

Documentation

This directory contains markdown and theory files with conventions and other documentation for the l4v repository.

This is work in progress and contributions are welcome. Feel encouraged to raise pull requests for more material and/or corrections.

Topics

Current topics are:

Plans

The directory plans/ contains ideas and plans for proof-engineering improvements in this repo. They are at the idea stage, not fully worked out yet. Feel free to contribute new ideas, to make an existing one more concrete, or to pick one up and work on it.