Danila Fedorin 84ad8d43b5 Start on a draft for rant about Coq documentation

2021-11-25 00:33:54 -08:00

188 KiB

1371x1580px

Raw History