Active
Recent
Comments
Search
Login
Login
Newest
Top
Newest stories submitted by
raphaelm
.
4
CODE beyond FAIR
☶
practices
science
inria.hal.science
authored by
raphaelm
1 month ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
5
CUTECat: Concolic Execution for Computational Law
formalmethods
law
arxiv.org
authored by
raphaelm
1 month ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
50
Coq theorem prover will be renamed into Rocq
culture
formalmethods
github.com/coq
via
raphaelm
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
95 comments
95
7
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law
☶
pdf
formalmethods
law
plt
rmonat.fr
authored by
raphaelm
1 year ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
no comments
0
17
A clean interface for org files (Emacs)
emacs
github.com/rougier
via
raphaelm
2 years ago
|
caches
Archive.org
Archive.today
Ghostarchive
|
3 comments
3