GitHub - Yash1hi/Proof-Generator-3434: Proof generator with built grammar to generate steps between premises and conclusions dynamically. Made for CSCI 3434 at CU Boulder.

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
.bsp		.bsp
.history		.history
.idea		.idea
.metals		.metals
.vscode		.vscode
project		project
src		src
target		target
build.sbt		build.sbt

About

Proof generator with built grammar to generate steps between premises and conclusions dynamically. Made for CSCI 3434 at CU Boulder.

No releases published