search

meta-logic / sml-to-coq

A tool that translates SML code to Coq
GNU General Public License v3.0
6 stars 0 forks source link

Generating induction principles #15

Closed gisellemnr closed 1 year ago