Rasmus Johansson's repositories
SharpMathLib
A place for explorations in mahematics
NOASSERTION000
NumberTheoryExperiments
Trivial experiments in number theory, possibly leading to something amusing
Language:C#MIT000
botsProject
This project contains bots made for the programme IT-Spåret on Ädelfors Folkhögskola
Language:Python000
modern-hol-light
Modernising the HOL Light theorem prover
Language:OCamlNOASSERTION000