Skip to content

algebra-tactics.1.1.1 works on Coq 8.19 with MC 1.19 #50

algebra-tactics.1.1.1 works on Coq 8.19 with MC 1.19

algebra-tactics.1.1.1 works on Coq 8.19 with MC 1.19 #50

The logs for this run have expired and are no longer available.