ddanco

Pinned Repositories

apperception
Language:Shell0 0 00
blueprint-oss
Declarative document extraction
Language:Python0 1 00
lean
Lean Theorem Prover
Language:C++00
lean4
Lean 4 programming language and theorem prover
Language:Lean00
mathlib
Lean mathematical components library
Language:Lean0 0 00
mol
Various homework/projects for ILLC Master of Logic
Language:Lean0 1 00
personal
...
Language:Python0 1 00
PyLing
French-English vocabulary learning application
Language:Python10
pyml
OCaml bindings for Python
Language:OCaml00
synctex
Synchronization for TeX
Language:TeX57 4 4919

ddanco's Repositories

ddanco/PyLing
French-English vocabulary learning application
Language:Python10
ddanco/apperception
Language:Shell0 0 00
ddanco/blueprint-oss
Declarative document extraction
Language:Python0 1 00
ddanco/lean
Lean Theorem Prover
Language:C++00
ddanco/lean4
Lean 4 programming language and theorem prover
Language:Lean00
ddanco/mathlib
Lean mathematical components library
Language:Lean0 0 00
ddanco/mol
Various homework/projects for ILLC Master of Logic
Language:Lean0 1 00
ddanco/personal
...
Language:Python0 1 00
ddanco/pyml
OCaml bindings for Python
Language:OCaml00