BrandonBennett99

Lecturer in Artificial Intelligence and Information Science

University of Leeds

Pinned Repositories

bbSearch
Language:Python00
Graph-Tableaux
A proof system architecture for Multi-Modal Logics, currently implemented as a Python notebook.
00

BrandonBennett99's Repositories

BrandonBennett99/bbSearch
Language:Python00
BrandonBennett99/Graph-Tableaux
A proof system architecture for Multi-Modal Logics, currently implemented as a Python notebook.
00