chiso-tex

public

1 stars

1 forks

0 issues

Commits

List of commits on branch master.

Unverified

3361f403e1eaed2f51ae3d8e281752de7a9d73e4

Add BNF file

rrdmarsh2 committed 12 years ago

Unverified

0a6e4c041dbaa5e1a53828615be78ef426cac427

Add file-handling and top-level and context parsers. Increment version to 1.0

rrdmarsh2 committed 12 years ago

Unverified

b4bb31220bb08d4b7557195ccb252fa83a004632

Add TestScript.hs, convenience functions for ghci

rrdmarsh2 committed 12 years ago

Unverified

fa1a60edc81632dea4b6cf3fcb8abff251a7d939

Ensure keywords aren't parsed as identifiers

rrdmarsh2 committed 12 years ago

Unverified

a5a0dd2cc4146611a62f834fd229e0623d111058

Add precedence handling in latex pretty-printer

committed 12 years ago

Unverified

6896d8d2ed6ce37e5c9be00df755c50663035ffb

Add parser case for application, nicer parser errors

committed 12 years ago

README

The README file for this repository.

This takes a proof term in a haskell-like concrete syntax and converts it into a LaTeX-formatted proof of in a termless logic. Currently supports only the propositional calculus

TODO: add first-order logic generalize and separate the pretty-printer clean up the generated latex source