Illinois-Theorem-Provers

Popular repositories Loading

1. pts-normalization pts-normalization Public

   Forked from jfulfo/pts-normalization

   Confined version of OpenAI's PTS Normalization Lean proof result, to play with and modify

   Lean 3

2. recursive-nn recursive-nn Public

   Python 2