一緒にネコになろや。
RSS Feedのんびり歩いたり、立ち止まったり。
Social Links:
Recent Posts
All Posts-
Coq/Rocq Introduction - 2 - Prerequisite knowledge
The prerequisite knowledge before learning Coq/Rocq.
-
Coq/Rocq Introduction - 1 - Installing
Brief introduction to the world of Coq/Rocq Prover.