ioannad/jeffrey

Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.

Common Lisp

Issues

CGraph website Service unavailable
#6 opened a month ago by madeleinebirchfield
0
Add references to each implication.
#5 opened 8 months ago by ioannad
0
Is there a file for the models?
#3 opened 8 months ago by Average-user
2
Links in "The Website, aka the CGraph app" are broken
#4 opened 8 months ago by ramified
1
Package JEFFREY does not exist.
#1 opened 4 years ago by farooqkz
7