A repository that describes my explorations on formal verification using Dafny, techniques from programming language theory such as CYK parsing, Earley parsing, type-theoretic things like lambda calculus etc.
-
Updated
Jun 23, 2021 - Python
A repository that describes my explorations on formal verification using Dafny, techniques from programming language theory such as CYK parsing, Earley parsing, type-theoretic things like lambda calculus etc.
Maude integration and verification for ROS Nav 2
๐๐๐Space-Recog-PDF-Secure โจ๐ is a Python script designed to format text ๐ into paragraphs with precise width-based ๐ justification. This tool takes input text ๐ and aligns it within specified column widths, optimizing the distribution of white spaces โ๏ธ between words to achieve balanced right-margin ๐งฎ justification.
Add a description, image, and links to the dafny topic page so that developers can more easily learn about it.
To associate your repository with the dafny topic, visit your repo's landing page and select "manage topics."