Giters

aidan-bailey / Logic.jl

A Julia implementation of Logics (WIP)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

propositional-logicjulia

Logic.jl

About

A Julia implementation of Logics (WIP)

propositional-logicjulia

License:GNU General Public License v3.0

Languages

Language:Julia 100.0%