Discover @ulrikrasmussen Open Source projects

Ulrik Rasmussen (@ulrikrasmussen)

ulrikrasmussen

Stars
12
Global Rank 869,998 (Top 31 %)
Followers 13
Following 1
Registered over 14 years ago
Most used languages

Haskell
50.0 %

HTML
25.0 %

Java
25.0 %
Location 🇩🇰 Denmark
Country Total Rank 2,938
Country Ranking

Haskell
53

HTML
180

Java
709

BoxProver

Simple web interface for writing box proofs in Twelf

Proof

Monad for checking proofs in propositional logic, with support for typesetting the proof in LaTeX

AAD

Bachelorprojekt

Ulrik and Philip's Bachelor's Thesis