split off stalmarck checker program into coq-stalmarck-checker package - #32
Open
palmskog wants to merge 1 commit into
Open
split off stalmarck checker program into coq-stalmarck-checker package#32palmskog wants to merge 1 commit into
palmskog wants to merge 1 commit into
