StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

Makarius

Rating
1494.00 (4,309,606th) 		Reputation
1,917 (87,180th)
Page: 1 2
Title Δ
Errors while using VS Code extension 0.00
Isabelle2016 and command line 0.00
Isabelle2016 and Proof General -3.91
Isabelle: Is there a difference between using axiomatization and da... -3.70
Defining a quotient_type in Isabelle 0.00
Isabelle session graph as a dot file -4.05
Cannot select built session image in Isabelle/jEdit 0.00
How to use a main bib file with the Isabelle document preparation s... 0.00
Building Isabelle on Linux ARM 0.00
De Bruijn indices in Isabelle and Coq 0.00
Customize proof-general's dark theme for Isabelle 0.00
Why must Isabelle functions have at least one argument? +0.05
Is there a reference definition of higher-order logic as in HOL, Is... 0.00
completely replace the inner syntax in isar? 0.00
A theorem prover / proof assistant supporting (multiple) subtyping... +3.66
How do I do simple multithreading in Isabelle ML? 0.00
CoqIDE and JAVA 0.00
Does Lueng's RegExp library work with Isabelle/ML? Is there another... -0.02
What are the drawbacks of using the development version of Isabelle? +0.02
How do I create a synonym for a type class name? 0.00
How do I write this function in SML -3.85
How to replace ⋀ and ⟹ with ∀ and ⟶ in assumption -1.88
Isabelle: adjusting lemma to form required for `rule` method -0.02
Definition of a certified program -2.17
Isabelle: performance issues with version Isabelle2013-2 0.00
Proving A ==> B ==> C ==> B in Isabelle 0.00
How to fix JEdit 5.1.0 to don't complain about Java SE 6? 0.00
Document preparation in Isabelle 0.00
How to define 'Most' in Isabelle/FOL? 0.00
How do I install a working version of Standard ML? -3.02
Prove a basic lemma in Isabelle -2.25
Generating Isabelle HTML documentation *without proofs* -0.08
How to add readline support in polyml interpreter? -3.94
Isabelle: how to work with matrices 0.00
Idiomatic Proof by Contradiction in Isabelle? 0.00
How to make the assumption of the second case of an Isabelle/Isar p... 0.00
What Kind of Type Definitions are Legal in Local Contexts? 0.00
Difference between compile time and run time 0.00
Why is a meta-universally quantified variable renamed and how is it... +3.85
Drop a variable in a goal in apply style +4.07
Drop a premise in a goal in apply style -0.09
How to use persistent heap images to make loading of theories faste... +3.91
AFP Dijkstra's Shortest Path Algorithm +2.01
How can I easily write simple tactics at the ML level of Isabelle? +4.24
Core of Verifier in Isabelle/HOL +4.03
How can I convert these premises into a logical argument? -0.30
Does Standard ML support Unicode? 0.00
Max of set in Isabelle -2.56
working on logic - fitch system 0.00
SML fibonacci large numbers 0.00