Repository navigation

deduce

Public

forked from jsiek/deduce

About

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

BSL-1.0 license

Code of conduct

1 star

0 watching

Report repository

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
autograder_docker		autograder_docker
docs		docs
gh_pages		gh_pages
lib		lib
live_code_vercel_api		live_code_vercel_api
logos		logos
test		test
.gitignore		.gitignore
Deduce.lark		Deduce.lark
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
TODO.md		TODO.md
abstract_syntax.py		abstract_syntax.py
alist.py		alist.py
deduce.py		deduce.py
edit_distance.py		edit_distance.py
entangled.toml		entangled.toml
error.py		error.py
example.pf		example.pf
flags.py		flags.py
parser.py		parser.py
proof_checker.py		proof_checker.py
rec_desc_parser.py		rec_desc_parser.py
requirements.txt		requirements.txt
test-deduce.py		test-deduce.py
vercel.json		vercel.json

Repository files navigation

Deduce

The web page for Deduce is at the following link:

https://jsiek.github.io/deduce/

The directory structure:

/docs Documentation for contributing to Deduce
/gh_pages Source code for the Deduce website
/lib Deduce library files. This includes Nat, List, etc.
/live_code_vercel_api Source code for Deduce live code
/logos The Hippopotamus logo and other images.
/test Deduce files used for testing Deduce.

About

A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.

BSL-1.0 license

Code of conduct

1 star

0 watching

Report repository

Releases

Packages

Contributors

Languages