dev-lang/fstar
Verification system for effectful programs
Screenshots
-
fstar-2021.11.27~amd64+ocamlopt ocamlopt
View 
Download 
Browse License: Apache-2.0 Overlay: src_prepare-overlay
Reverse Dependencies
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.