Newest stories submitted by raphaelm.

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