Skip to content

Releases: lxndrcx/proofTheoryHOL

COMP3710 Slides + Report

06 Mar 00:26
@lxndrcx lxndrcx
v0.3-alpha
5b7c981
Compare
Choose a tag to compare
COMP3710 Slides + Report Pre-release
Pre-release 
v0.3-alpha

notes start
Assets 4
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
Learn about vigilant mode.
Compare
Choose a tag to compare
ANU Report complete Pre-release
Pre-release 
v0.2-alpha

Update README.md
Assets 3
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
Learn about vigilant mode.
Compare
Choose a tag to compare
IntuitionisticProof + AMSI presentation Pre-release
Pre-release

Equivalence proof complete for intuitionistic propositional logic.

Assets 3
Loading