yonoteam

yonoteam's Stars

• wellecks/ntptutorial

  Tutorial on neural theorem proving

  Language:Jupyter Notebook1575015

• data61/PSL

  Language:Isabelle6592149

• albertqjiang/Portal-to-ISAbelle

  https://albertqjiang.github.io/Portal-to-ISAbelle/

  Language:Python514718

• dominique-unruh/scala-isabelle

  A Scala library for controlling/interacting with Isabelle

  Language:Scala374107

• isabelle-prover/cookbook

  A collection of useful tips/tricks/hints for Isabelle users.

  Language:Isabelle15604