nopeAug 4, 2022
proof-oriented-programming-in-fstar
(2022) : Nikhil Swamy
url: http://fstar-lang.org/tutorial/book/index.html
#dependent_types #f_star #functional_programming #proof_assistant #refinement_types
#my_bibtex
Proof-oriented Programming in F* — Proof-Oriented Programming in F* documentation