研究室で ProofScript について紹介したが、せっかく面白い言語なので共有。
ps1.pdf が大元のプロジェクトである ProofPeer の紹介と ProofScript のプログラミング言語部分の紹介。 ps2.pdf が ProofScript の残りの紹介。
正確性とかについては保証できないので自分で確かめていただきたく。
Last active
November 10, 2017 10:26
-
-
Save yamarten/aa640a08bae43d190fa4137c5291f4f5 to your computer and use it in GitHub Desktop.
ProofScript紹介
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment