Home

Welcome to the sock wiki!

sock is a simple language meant for transforming mathematical expressions inspired by Coq and Noq.

Warning At very early stage in development. So don't get your hopes high just yet :)

Alternatives

• Coq: https://github.com/coq/coq
• Noq: https://github.com/tsoding/noq

Courtesy

• Coq: https://coq.inria.fr/
• Idea & References: https://youtu.be/Ra_Fk7JFMoo?si=sf2TsCZcul6yRGd_