J

jeffrey

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

Name Last update
Howard-Rubin-data Loading commit data...
examples Loading commit data...
www Loading commit data...
.gitattributes Loading commit data...
README.md Loading commit data...
TODO.md Loading commit data...
draw.lisp Loading commit data...
example-form-groups.lisp Loading commit data...
graph.lisp Loading commit data...
jeffrey.asd Loading commit data...
labelmaker.lisp Loading commit data...
latex-in-html.lisp Loading commit data...
main.lisp Loading commit data...
make-fancy-labels.sh Loading commit data...
make-math-snippets.sh Loading commit data...
nodes-html.db Loading commit data...
packages.lisp Loading commit data...
parse-web-input.lisp Loading commit data...
parse.lisp Loading commit data...
predicates.lisp Loading commit data...
process-strings.lisp Loading commit data...
read.lisp Loading commit data...
standard-graphs.lisp Loading commit data...
test.lisp Loading commit data...
website.lisp Loading commit data...