The following pages link to Jape (Q44088):
Displaying 4 items.
- (Q48082) (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)