added benchmarks with two systems of dependent inductive definitions#2
Open
lequangloc wants to merge 1 commit intosl-comp:masterfrom
Open
added benchmarks with two systems of dependent inductive definitions#2lequangloc wants to merge 1 commit intosl-comp:masterfrom
lequangloc wants to merge 1 commit intosl-comp:masterfrom
