anfelor

Pinned Repositories

• agda

  The theory of algebraic graphs formalised in Agda

  Language:Agda88506

• alga-tutorials

  Tutorials for alga

  Language:TeX3200

• coc-lean

  A calculus of constructions in Lean

  Language:Lean8200

• dhall-check

  Check all the .dh files in a directory against a given type signature

  Language:Haskell2201

• elm-units

  Unit conversions for elm

  Language:Elm2210

• file-templates

  Use templates for files and directories

  Language:Haskell2200

• TodoMVC-CoffeeScript-and-Vue.js

  A TodoMVC implementation based on the official example by Evan You - DEPRECATED based on Vue 1.0

  Language:CoffeeScript21205

• koka

  Koka language compiler and interpreter

  Language:Haskell3.4k60349168

• lean

  Lean 3 Theorem Prover (community fork)

  Language:C++4342820580

• naproche

  Write formal proofs in natural language and LaTeX.

  Language:Haskell32966

anfelor's Repositories