motib/gentle-lean motib/gentle-lean

  • Stars
    star
    8
  • Rank 2,089,111 (Top 42 %)
  • Language
    TeX
  • License
    Creative Commons ...
  • Created 9 months ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
motib/gentle-lean
github

motib

Reviews

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

Repository Details

A gentle tutorial on Lean

More Repositories

1

LearnSAT

SAT solver for education
Prolog
24
star
2

jspin

GUI for running the SPIN model checker
Java
13
star
3

jbaci

Automatically exported from code.google.com/p/jbaci
Batchfile
10
star
4

erigone

Erigone Model Checker
Ada
8
star
5

mathematical-logic

Prolog programs for Mathematical Logic for Computer Science (3rd Edition)
Prolog
8
star
6

surprises

Source code of Mathematical Surprises (open access)
TeX
6
star
7

daj

Distributed Algorithms in Java
Java
5
star
8

mathematics

Learning materials for secondary school mathematics
TeX
4
star
9

concurrent-distributed

Principle of Concurrent and Distributed Programming (Second Edition)
Ada
2
star
10

constructions

LaTeX source for "Surprising Geometric Constructions"
TeX
1
star
11

bagrut

Solution of Fifteen Israeli Matriculation Exams (806/851) in Mathematics
TeX
1
star
12

elements-of-robotics

LaTeX source of open access book Elements of Robotics
TeX
1
star
13

probability-mosteller

Reworking of Mosteller's Challenging Problems in Probability
TeX
1
star
14

thymio

Documents and programs for the Thymio robot
TeX
1
star