PAL+

swMATH21366MaRDI QIDQ33174

No author found.

Described by source

• PAL⁺: a lambda-free logical framework

Related Items (2)

Types for Proofs and Programs ⋮ Tactics and Parameters

This page was built for software: PAL+