StackRating

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

Thorsten Altenkirch

Rating
1494.11 (4,304,861st) 		Reputation
320 (391,406th)
Page: 1
Title Δ
definition of a type doesn’t work in agda 0.00
How to prove element addition is injective for a cubical finite mul... 0.00
Standalone alternatives to --webtex for pandoc 0.00
Does injectivity of Type product make sense? -3.95
Does injectivity of Type product make sense? +4.05
How to convince Agda a function terminates with a reducing number i... 0.00
Formulating a dependent type system in Agda 0.00
Is it possible to derive induction for the church-encoded Nat? +1.61
What can Coq do while Agda/Idris can't do? 0.00
Countable subsets in Agda 0.00
How to write a safe `length` function to a `Vec` in Agda? -3.58
Prove that n times an even number yields an even number in Agda -4.02
auctex master loads whole master? 0.00