Giters
Dominique Danco (ddanco)

ddanco

Geek Repo

5

followers

0

following

5

stars

Github PK Tool:Github PK Tool

Dominique Danco's repositories

personal

...

Language:PythonStargazers:0Issues:0Issues:0

mol

Various homework/projects for ILLC Master of Logic

Language:LeanStargazers:0Issues:0Issues:0

mathlib

Lean mathematical components library

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0

lean4

Lean 4 programming language and theorem prover

License:Apache-2.0Stargazers:0Issues:0Issues:0

apperception

Language:ShellStargazers:0Issues:0Issues:0

blueprint-oss

Declarative document extraction

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

pyml

OCaml bindings for Python

License:NOASSERTIONStargazers:0Issues:0Issues:0

lean

Lean Theorem Prover

License:Apache-2.0Stargazers:0Issues:0Issues:0

PyLing

French-English vocabulary learning application

Language:PythonStargazers:1Issues:0Issues:0