xennygrimmato / z3-floating-point-proofs Public

Notifications You must be signed in to change notification settings
Fork 2
Star 7

Automated Proofs about floating-point numbers using Z3 Theorem Prover

7 stars 2 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
associativity.py		associativity.py
positive_zero.py		positive_zero.py
requirements.txt		requirements.txt

Repository files navigation

z3-floating-point-proofs

Proofs regarding properties of floating-point numbers using Z3 Solver written in Python.

List of proofs

About

Automated Proofs about floating-point numbers using Z3 Theorem Prover

python3 proof-assistant formal-verification z3-smt-solver

Report repository

Releases

No releases published

Packages

No packages published

Languages

Python 100.0%