transcendental kyberautism
about
posts
|
ru
de
= Tapl
December 7, 2019
Proving TAPL in Coq (ch 3, WIP)