Skip to content

Releases: Cheunglo/Verifed_Word_Arrays

Verified Word Arrays

03 Jan 09:00
@Cheunglo Cheunglo
1.1.2
5a07610
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
Verified Word Arrays Latest
Latest 
1.1.2

Added a descrption of files
Assets 2
Loading

Verified Word Arrays

29 Dec 02:37
@Cheunglo Cheunglo
v1.0.1
bd05b51
Compare
Choose a tag to compare
Verified Word Arrays

Cleaned up several lemmas and added addition lemmas

Assets 2
Loading

Verified Word Arrays

28 Dec 11:50
@Cheunglo Cheunglo
v1.0.0
5c60eb6
Compare
Choose a tag to compare
Verified Word Arrays

This contains all the code and proofs for a Computer Science Honours Thesis at UNSW.

Assets 2
Loading