Skip to content

Releases: lxndrcx/proofTheoryHOL

COMP3710 Slides + Report

06 Mar 00:26
@lxndrcx lxndrcx
v0.3-alpha
5b7c981

Choose a tag to compare

View all tags
COMP3710 Slides + Report Pre-release
Pre-release 
v0.3-alpha

notes start
Loading

ANU Report complete

26 Feb 01:04
@lxndrcx lxndrcx
v0.2-alpha
ede5baa
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
ANU Report complete Pre-release
Pre-release 
v0.2-alpha

Update README.md
Loading

IntuitionisticProof + AMSI presentation

08 Feb 05:54
@lxndrcx lxndrcx
v0.1-alpha
975e3c5
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
IntuitionisticProof + AMSI presentation Pre-release
Pre-release

Equivalence proof complete for intuitionistic propositional logic.

Loading