Ayertienna

Ayertienna's Stars

• hmemcpy/milewski-ctfp-pdf

  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

  Language:TeX10.9k241162582

• achlipala/frap

  Formal Reasoning About Programs

  Language:Coq656462782

• pigworker/CS410-17

  being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

  Language:Agda26323328

• LPCIC/coq-elpi

  Coq plugin embedding elpi

  Language:OCaml1341017850

• brunofx86/LL

  Formalization of Linear Logic

  Language:Coq1030

• meta-logic/sellf

  SubExponential Linear Logic Framework for reasoning about sequent calculus systems

  Language:JavaScript74162