Name		Name	Last commit message	Last commit date
Latest commit History 134 Commits
src		src
test		test
.gitignore		.gitignore
LICENSE		LICENSE
Project.toml		Project.toml
README.md		README.md

Repository files navigation

Logic.jl

About

A Julia implementation of Logics (WIP)

julia propositional-logic

GPL-3.0 license

Report repository

Contributors

Languages

Julia 100.0%