Software Foundations

on Courses

Reading

list of book reading

Volume 1

Configuration in Win 10

coq 8.15 has a noisy output. Vscode with extension VScoq works well.(Setting path is enough.)