Pharo-PropositionalLogic

https://github.com/shnarazk/Pharo-PropositionalLogic

Details

Source: GitHub
Dialect: pharo (25% confidence)
License: GPL-3.0
Created: Jan. 18, 2024
Updated: June 26, 2025

Categories

System / OS

README excerpt

# Pharo-PropositionalLogic

```smalltalk
Metacello new
  baseline: 'PropositionalLogic';
  repository: 'github://shnarazk/Pharo-PropositionalLogic:main';
  load
```

← Back to results