coq-tutorial-ml-tactics icon indicating copy to clipboard operation
coq-tutorial-ml-tactics copied to clipboard

Published 20 hours ago • verified publisher icon braibant

Simplifying the infrastructure

Open braibant opened this issue 12 years ago • 0 comments

braibant avatar Apr 16 '12 18:04 braibant