Skip to content
This repository has been archived by the owner on Sep 14, 2023. It is now read-only.

Releases: jonaprieto/athena

Minor fixes

22 Dec 15:50
@jonaprieto jonaprieto
0.2
aab8f27
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Minor fixes Latest
Latest

Reconstructing-Propositional-Proofs-in-Type-Theory.pdf
Reconstructing-Propositional-Proofs-in-Type-Theory-Slides.pdf

Assets 2
Loading

v0.1

24 Nov 05:36
@jonaprieto jonaprieto
v0.1
ab61c77
Compare
Choose a tag to compare
v0.1

This version was presented at Universidad EAFIT as the graduation requirement.

Assets 3
Loading