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

convertor.sig #1

Open gisellemnr opened 4 years ago

gisellemnr commented 4 years ago

It looks like this signature is not used... Is this the case?

LailaElbeheiry commented 4 years ago

So far yes, I guess it might be needed later