StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Answers and rating deltas for

How can I define syntax for a binder with an additional argument in Isabelle?

Author	Votes	Δ
Wolfgang Jeltsch	2	0.00

Last visited: Apr 22, 2018, 2:57:33 AM