Skip to content

Releases: ualib/agda-algebras

v.2.0.1

08 Dec 02:36
@williamdemeo williamdemeo
v.2.0.1
e4d459a
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
v.2.0.1 Latest
Latest

Minor updates

  • improve paper describing proof of HSP theorem (see doc/TYPES2021/alg-hsp)
  • improve citation information
Assets 2
Loading

v.2.0: Release for citing, doi, and TYPES2021 postproc

26 Nov 21:02
@williamdemeo williamdemeo
v.2.0.0
cde5198
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
v.2.0: Release for citing, doi, and TYPES2021 postproc 
Merge pull request #164 from williamdemeo/reorg

major reorganization
Assets 2
Loading

v1.0: Merge pull request #65 from JacquesCarette/galc2

13 Jul 15:31
@williamdemeo williamdemeo
v1.0
51a8c61
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
v1.0: Merge pull request #65 from JacquesCarette/galc2 
Fix issues from PR #61
Assets 2
Loading