The following pages link to Isar (Q16770):
Displaying 6 items.
- On definitions of constants and types in HOL (Q287358) (← links)
- A mechanized proof of the basic perturbation lemma (Q928666) (← links)
- Tinycals: Step by Step Tacticals (Q2867943) (← links)
- A Brief Overview of Mizar (Q3183518) (← links)
- Formal Proof: Reconciling Correctness and Understanding (Q3637280) (← links)
- A formal proof of the expressiveness of deep learning (Q5919583) (← links)