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

Important For more information refer wiki

Quick Start

make build
make run

Courtesy

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