Simpl

swMATH32234MaRDI QIDQ43945FDOQ43945

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/Simpl.html

Cited In (1)

• Building program construction and verification tools from algebraic principles

This page was built for software: Simpl