issues
search
affeldt-aist
/
monae
Monadic effects and equational reasonig in Coq
GNU Lesser General Public License v2.1
67
stars
11
forks
source link
clean sorted lemmas
#54
Closed
AyumuSaito
closed
3 years ago
AyumuSaito
commented
3 years ago
define sorted_cons'
define sorted_rcons'