Skip to content

Releases: motrellin/inquisitive-logic

inqlog-v1.0.0

08 Jul 14:56
@motrellin motrellin
inqlog-v1.0.0
This tag was signed with the committer’s verified signature.
motrellin Max Ole Elliger
SSH Key Fingerprint: EIb475u01ho+HnGKkNmhWqVLjAGhYtwT+0COFEWvNE0
Verified
Learn about vigilant mode.
dd137b1
This commit was signed with the committer’s verified signature.
motrellin Max Ole Elliger
SSH Key Fingerprint: EIb475u01ho+HnGKkNmhWqVLjAGhYtwT+0COFEWvNE0
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
inqlog-v1.0.0 Latest
Latest

Documentation: https://motrellin.github.io/rocq-docs-inquisitive-logic/v1.0.0/toc.html

Assets 2
Loading