Block or report user
  • Germany


@leanprover @fsmi

Pinned repositories

  1. electrolysis

    Simple verification of Rust programs via functional purification

    Lean 106 2

  2. leanprover/lean

    Lean Theorem Prover

    C++ 581 93

  3. Bartizan

    Mod Framework for TowerFall Ascension

    C# 32 6

  4. fsmi/odie-client

    Simple odie interface

    JavaScript 8 6

643 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

March 2017

Created a pull request in leanprover/lean that received 23 comments

chore(test/lean/run): try to run all tests at once first

Try to run all run tests in the same Lean process first and skip individual tests if successful. This effectively cuts the run time of the complete…

Created an issue in leanprover/lean that received 11 comments

RFC: Revising the monadic hierarchy

Now that we have the power of field default values, we should use it to revise the monadic typeclasses. We can now do basically everything Haskell …

Seeing something unexpected? Take a look at the GitHub profile guide.