search

Radiance-Technologies / prism

Utilities for creating and curating a dataset for automated proof repair in the Coq Proof Assistant.
GNU Lesser General Public License v3.0
5 stars 2 forks source link

update opam_projects.txt #40

Closed tom-p-reichel closed 1 year ago

tom-p-reichel commented 1 year ago

add projects that purportedly have only opam dependencies and relevant versions