LLFp

swMATH20866MaRDI QIDQ32680FDOQ32680

Author name not available (Why is that?)

Described by source

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

Cited In (3)

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

This page was built for software: LLFp