Giters

formal-land / coq-of-ocaml

Formal verification for OCaml

Home Page:https://formal.land/docs/coq-of-ocaml/introduction

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Add annotations to expressions

clarus opened this issue · comments