Need to use a theorem prover in your #Ada program? Try AZ3, our Ada binding to the Z3 Theorem Prover. github.com/Componolit/AZ3 #AdaProgramming #FormalVerification
Need to use a theorem prover in your #Ada program? Try AZ3, our Ada binding to the Z3 Theorem Prover. github.com/Componolit/AZ3 #AdaProgramming #FormalVerification