Skip to content
GitLab
Explore
Sign in
DE LIMA Tiago
Logic of doxastic attitudes solver
Tags
Tags give the ability to mark specific points in history as being important
0.0.4.4
28a1687a
·
Update for JELIA'23 submission.
·
May 31, 2023
Release:
0.0.4.4
0.0.2
52169986
·
Remove unwanted file.
·
Mar 14, 2023
Release:
lda-0.0.2
0.0.1
0e74f460
·
Remove old files.
·
Mar 14, 2023