• Stars
    star
    6
  • Rank 2,539,459 (Top 51 %)
  • Language
    TeX
  • Created about 7 years ago
  • Updated over 1 year ago

Reviews

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

Repository Details

Učbenik za predmet Logika in množice na Fakulteti za matematiko in fiziko, Univerza v Ljubljani

More Repositories

1

plzoo

Programming Languages Zoo
OCaml
1,451
star
2

homotopy-type-theory-course

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
TeX
276
star
3

spartan-type-theory

Spartan type theory
OCaml
249
star
4

marshall

Real number computation software
OCaml
118
star
5

Homotopy

Homotopy theory in Coq.
Verilog
90
star
6

coop

A prototype programming language for programming with runners
OCaml
88
star
7

alg

Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.
OCaml
83
star
8

notes-on-realizability

Lecture notes on realizability
TeX
65
star
9

mathematics-and-computation

Andrej Bauer's blog "Mathematics and Computation"
Mathematica
47
star
10

what-is-algebraic-about-algebraic-effects

TeX
46
star
11

social-distancing-simulator

An artificial simulation of social distancing in the time of an epidemic.
HTML
29
star
12

clerical

Command-like expressions for real infinite-precision calculations
OCaml
22
star
13

miniLCF

A bare-bones LCF-style proof assistant
OCaml
21
star
14

higher-rank-syntax

Agda
16
star
15

simple-random-art

A simple implementation of Random art in Python. Suitable for teaching and experiments.
Python
16
star
16

repl-in-browser

Implementation of a language interpreter in the browser, using js_of_ocaml.
OCaml
15
star
17

mathematical-stories

Mathematical stories
13
star
18

hydra

The combinatorial Hydra game
Java
12
star
19

kmeans

A demonstration of Ocaml modules & functors for machine learning.
OCaml
11
star
20

zeroes

Programs for computing beautiful pictures and animations of zeroes of polynomials.
Python
11
star
21

rz

A tool for automatic generation of specifications based on realizability theory
TeX
9
star
22

dependent-type-theory-syntax

An Agda formalization of raw syntax for dependent type theory
Agda
8
star
23

ppj-skripta

Zapiski pri predmetu Principi programskih jezikov
OCaml
7
star
24

formalized-mathematics-in-lean

A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25
Shell
7
star
25

slack-to-discord

Transfer Slack archives to a Discord server on a per-channel basis
Python
6
star
26

costa-surface

Triangulation of Costa's minimal surface with normals, suitable for PovRay rendering
Python
6
star
27

lvr-sat

SAT solver (for teaching purposes in the course Logic in computer science)
OCaml
5
star
28

lvr-coq

Coq related material for the Logic in computer science course
Coq
4
star
29

lean2sexp

Convert Lean .olean files to s-expressions
Lean
3
star
30

the-daily-algebra

The daily algebra fact.
3
star
31

jurij

A simple Python application for drawing graphs, useful for teaching and experiments.
Python
2
star
32

backup

Remote backups using ssh and rsync.
Perl
2
star
33

TopologyPrimerTest

A test before showing a Lean project to students
TeX
1
star