The following pages link to Jape (Q44088):
Displayed 4 items.
- Item:Q44088 (redirect page) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Proving pointer programs in higher-order logic (Q2486585) (← links)
- Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC (Q5195279) (← links)