GitHub repository: machina-ratiocinatrix/calculemus
Primary language: Python
Created: 2023-05-15T11:35:52Z
Description: Logical verification of probabilistic/language model 'intuitions'.