GitHub - ludviggunne/nde: Natural Deduction Engine

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 15 Commits
.gitignore		.gitignore
Makefile		Makefile
README		README
apply.c		apply.c
apply.h		apply.h
linenoise.c		linenoise.c
linenoise.h		linenoise.h
log.c		log.c
log.h		log.h
main.c		main.c
parse.c		parse.c
parse.h		parse.h
proof.c		proof.c
proof.h		proof.h
syntax.h		syntax.h
tex.c		tex.c
tex.h		tex.h

Repository files navigation

##############################
NDE - Natural Deduction Engine
##############################

* Commands
	presume <formula>      Add a new premise
	assume <formula>       Add a new assumption  
	apply <rule> <inputs*> Apply a rule on the given inputs
	open                   Open a new box/subproof
	close                  Close the current box/subproof
	export <filename>      Export as LaTex