Comment Comment by eriknstr This sounds very interesting indeed. Can this be done with Coq? Do you have any tutorials or such on doing this? parent eriknstr 9 years ago
