Skip to content

Releases: amarmaduke/lean-subst

v0.3

Choose a tag to compare

@amarmaduke amarmaduke released this 13 Mar 20:50

add heterogeneous substitutions, various cleanup

v0.2

Choose a tag to compare

@amarmaduke amarmaduke released this 19 Nov 22:44

add notation, renaming predicates, and various facts about reduction

v0.1

Choose a tag to compare

@amarmaduke amarmaduke released this 04 Nov 19:54

initial release