added benchmarks with two systems of dependent inductive definitions#2
Open
lequangloc wants to merge 1 commit into
Open
added benchmarks with two systems of dependent inductive definitions#2lequangloc wants to merge 1 commit into
lequangloc wants to merge 1 commit into
