matijapretnar/proofs matijapretnar/proofs

  • Stars
    star
    16
  • Rank 1,311,288 (Top 26 %)
  • Language AMPL
  • Created almost 11 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
matijapretnar/proofs
github

matijapretnar

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A collection of mechanised proofs

More Repositories

1

eff

A functional programming language based on algebraic effect handlers
OCaml
859
star
2

millet

A ML-like pure functional language that can be used as a template for creating your own language
OCaml
26
star
3

aeff

An interactive interpreter for asynchronous algebraic effects
OCaml
12
star
4

programiranje-1

Gradiva s predavanj pri predmetu Programiranje 1, 2. letnik matematike, FMF
Jupyter Notebook
5
star
5

uvod-v-programiranje

Gradiva s predavanj pri predmetu Uvod v programiranje, 1. letnik matematike, finančne matematike in pedagoške matematike, FMF
HTML
3
star
6

mucki

Simulacija naraščanja mačje populacije
OCaml
1
star
7

podatkovne-baze-1

Gradiva s predavanj pri predmetu Podatkovne baze 1, 3. letnik praktične matematike, FMF
TSQL
1
star
8

generiranje-nalog

Generiranje nalog v Mathematici
Objective-C
1
star
9

principi-programskih-jezikov

Gradiva s predavanj pri predmetu Principi programskih jezikov, 2. letnik IŠRM & RI, FRI & FMF
Jupyter Notebook
1
star