GitHub / gabriel-fallen / verification-in-lean4

Examples and exercises related to formal program verification in Lean 4.

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/gabriel-fallen%2Fverification-in-lean4
PURL: pkg:github/gabriel-fallen/verification-in-lean4

Stars: 0
Forks: 0
Open issues: 0

License: None
Language: Lean
Size: 2.93 KB
Dependencies parsed at: Pending

Created at: 8 months ago
Updated at: 8 months ago
Pushed at: 8 months ago
Last synced at: 8 months ago

Topics: formal-verification, lean, lean4, program-verification, verification

Loading...