Skip to content

cburschka/python-logic

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits

parser

parser

 
 

cfg.py

cfg.py

 
 

cfg_fo.py

cfg_fo.py

 
 

cfg_k.py

cfg_k.py

 
 

cfg_main.py

cfg_main.py

 
 

cfg_tdp.py

cfg_tdp.py

 
 

converters.py

converters.py

 
 

core.py

core.py

 
 

lexer_fo.py

lexer_fo.py

 
 

main.py

main.py

 
 

parser.py

parser.py

 
 

symbols.py

symbols.py

 
 

About

A toolkit for parsing and manipulating formulas of first-order predicate logic.

Activity

Stars

1 star

Watchers

2 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages