Skip to content

s-nandi/automated-proofs

About

A small and simple set of automated proofs written in Isabelle

Topics

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Contributors 2

  •  
  •