LLFp

swMATH20866MaRDI QIDQ32680

No author found.

Described by source

• $\mathsf{LLF}_{\cal P}$: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads

Related Items (3)

LF+ in Coq for "fast and loose" reasoning ⋮ Implementing Cantor’s Paradise ⋮ A Modular Type Reconstruction Algorithm

This page was built for software: LLFp