Pinned Repositories
bagrut
Solution of Fifteen Israeli Matriculation Exams (806/851) in Mathematics
concurrent-distributed
Principle of Concurrent and Distributed Programming (Second Edition)
elements-of-robotics
LaTeX source of open access book Elements of Robotics
erigone
Erigone Model Checker
jbaci
Automatically exported from code.google.com/p/jbaci
jspin
GUI for running the SPIN model checker
LearnSAT
SAT solver for education
mathematical-logic
Prolog programs for Mathematical Logic for Computer Science (3rd Edition)
probability-mosteller
Reworking of Mosteller's Challenging Problems in Probability
surprises
Source code of Mathematical Surprises (open access)
motib's Repositories
motib/LearnSAT
SAT solver for education
motib/jspin
GUI for running the SPIN model checker
motib/mathematical-logic
Prolog programs for Mathematical Logic for Computer Science (3rd Edition)
motib/jbaci
Automatically exported from code.google.com/p/jbaci
motib/erigone
Erigone Model Checker
motib/gentle-lean
A gentle tutorial on Lean
motib/concurrent-distributed
Principle of Concurrent and Distributed Programming (Second Edition)
motib/surprises
Source code of Mathematical Surprises (open access)
motib/mathematics
Learning materials for secondary school mathematics
motib/daj
Distributed Algorithms in Java
motib/ada-software-engineers
Ada for Software Engineers (Second Edition)
motib/elements-of-robotics
LaTeX source of open access book Elements of Robotics
motib/probability-mosteller
Reworking of Mosteller's Challenging Problems in Probability
motib/bagrut
Solution of Fifteen Israeli Matriculation Exams (806/851) in Mathematics
motib/constructions
LaTeX source for "Surprising Geometric Constructions"
motib/principles-spin
Source code and update for Principles of Spin
motib/thymio
Documents and programs for the Thymio robot
motib/markov
Markov chain simulations
motib/orbits
The geometry of planetary orbits and ellipses
motib/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
motib/motib