Skip to content
GitLab
Rechercher un fichier BlameHistoryPermalink
  • C.G.Vedant's avatar
    PropKB notebook (#559) · f6f8ea24
    C.G.Vedant a écrit 
    * Removes smalltest_kb

* Moved wumpus_kb to logic.py

* Added PropKB and tt_entails to notebook
    f6f8ea24