This repository was archived by the owner on Apr 22, 2020. It is now read-only.

Add Coq support#536

Open

tchajed wants to merge 1 commit into

googlearchive:masterfrom

tchajed:add-coq-support

Workflow runs completed with no jobs