Search Package Index

1 packages found

 PackageDescriptionFamilyBuild 

New

liquid-shplait

Refinement (liquid) types for Shplait, checked at compile time with Z3

License:
Rhombussucceeds; has dependency problems; has failing tests5