yisus82/fic-md2

Matemática Discreta - Facultad de Informática de A Coruña

Language: Coq - Size: 29.3 KB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

dragonwasrobot/formal-moessner

A formal study of Moessner's sieve

Language: Coq - Size: 1.51 MB - Last synced at: 3 months ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

mattdean1/functional-programming

Exercises in Agda

Language: Agda - Size: 63.5 KB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

KokorinIlya/math_logic

Homeworks for math logic course in ITMO University

Language: Java - Size: 3.91 MB - Last synced at: 3 months ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

liveontologies/pinpointing-experiments

Experiments for extracting justifications from proofs.

Language: Java - Size: 4.64 MB - Last synced at: about 1 year ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

joda2802/Proofs

Language: TeX - Size: 187 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

Roldak/IPW

Interactive Proof Assistant for Welder

Language: Scala - Size: 250 KB - Last synced at: 3 days ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

emarzion/combinator-confluence

A proof of confluence for combinatory logic

Language: Coq - Size: 13.7 KB - Last synced at: 2 months ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0

EduPH/Teoria-Matematica

Recolección de teoría, teoremas y demostraciones

Language: TeX - Size: 1.78 MB - Last synced at: over 2 years ago - Pushed at: almost 8 years ago - Stars: 1 - Forks: 0