The following pages link to An open logical framework (Q2804331):
Displaying 7 items.
- A semantic framework for proof evidence (Q1701039) (← links)
- A framework for defining logical frameworks (Q2864157) (← links)
- Hybridizing a logical framework (Q2867954) (← links)
- Implementing Cantor’s Paradise (Q3179294) (← links)
- Plugging-in proof development environments using<i>Locks</i>in<tt>LF</tt> (Q4691186) (← links)
- LF+ in Coq for "fast and loose" reasoning (Q5210657) (← links)
- An open formalism against incompleteness (Q5937853) (← links)