Jape

MaRDI QIDQ44088swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F3-540-63104-6_41

Described by source

• Jape: a calculator for animating proof-on-paper

Cited in

(7)

• cminor
• mural
• SKIL
• XIsabelle
• Proving pointer programs in higher-order logic
• Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
• Proof-search in type-theoretic languages: An introduction

This page was built for software: Jape