decrn/tilogics decrn/tilogics

  • Stars
    star
    1
  • Language Coq
  • License
    BSD 2-Clause "Sim...
  • Created about 2 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
decrn/tilogics
github

decrn

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.

More Repositories

1

localsurvey

📊📄 Simple serverless surveys
TypeScript
3
star
2

nanopass-ocaml

OCaml
1
star