Z

Z Logic

Project information

Experimenting with Henson and Reeves' logic for Z in Lean4

Z logic Lean4 formal methods specification logic formalisation

130 Commits
1 Branch
0 Tags

README

Created on

August 14, 2025

Loading