prog

formally verified Scheme

3 2022-07-13 07:06: >>2
I'm learning Coq right now, what's wrong with it? It is fascinating but I have to admit it does not seem very practical for software.
6: VIP:

do not edit these