SLP. Semánticas de lenguajes de programación formalizadas en Isabelle/HOL

github.com/jaalonso/SLP
by @jaalonso

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.