dragostudorache/Viper-Programming-Language

A project for my 'Principles of Programming Languages' faculty course. It consists in implementing and designing a programming language using Coq.

Coq