Jape

swMATH32377MaRDI QIDQ44088FDOQ44088

Author name not available (Why is that?)

Described by source

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

Cited In (3)

• 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