yoshihiro503/Coqのコードをopamに登録する方法.md

Last active April 11, 2025 07:56

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/yoshihiro503/8bfbb6c8f22abf8a26f32702f449e1c7.js"></script>
Save yoshihiro503/8bfbb6c8f22abf8a26f32702f449e1c7 to your computer and use it in GitHub Desktop.

Download ZIP

Raw

Coqのコードをopamに登録する方法.md

Coqのコードをopamに登録する方法

move to : https://qiita.com/yoshihiro503/items/822376f92a003fa99b71

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment