Login / Signup

How to do proofs: practically proving properties about effectful programs' results (functional pearl).

Koen JacobsAndreas NuytsDominique Devriese
Published in: TyDe@ICFP (2019)
Keyphrases
  • desirable properties
  • computer programs
  • neural network
  • data mining
  • medical images
  • structural properties
  • theorem prover
  • conditional independence
  • formal proofs