Skip to content

Releases: uds-psl/autosubst-ocaml

Version 1.1 for Rocq 9.0

17 Apr 11:46
Compare
Choose a tag to compare
1.1+9.0

remove the printing of weird notations for substitutions as functions

Version 1.1 for Coq 8.20

16 Jan 11:12
Compare
Choose a tag to compare

Version 1.1

05 Feb 16:30
Compare
Choose a tag to compare