Name		Name	Last commit message	Last commit date
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
wff.cgi		wff.cgi
wff.py		wff.py
wff0.py		wff0.py

Repository files navigation

wff

Wff'N'Proof game of logic with Polish notation

About

Wff'N'Proof game of logic with Polish notation

BSD-3-Clause license

Custom properties

1 star

1 watching

Report repository

Releases

Packages

Contributors

Languages