Athena tool for Reconstructing Propositional Proofs in Agda

There is a newer version of the record available.

Published October 29, 2017 | Version v0.1

Software Open

Prieto-Cubides - 2017 - Athena tool for Reconstructing Propositional Proofs in Agda

Files

Name	Size	Download all
jonaprieto/athena-v2017.10.29.zip md5:5071a2c23259797c069a9f56bc72c7a2	1.2 MB	Preview Download

Is supplement to: https://github.com/jonaprieto/athena/tree/v2017.10.29 (URL)

Citations

Oops! Something went wrong while fetching results.

141

Views

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

Awarding university

Universidad EAFIT

MIT License

A short and simple permissive license with conditions only requiring preservation of copyright and license notices. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more