nobody

nobody has asked 1 questions and find answers to 29 problems.

Stats

About

nobody questions

How to solve goals with invalid type equalities in Coq?

nobody answers

How to create new commands in the Lua interpreter
Effective garbage collection in Lua with large userdata
How to use external library with love2d
Coq: fixed universe hierarchy w/ explicit universes
How to repeat proof tactics in case in Coq?
Lua C API: Initializing a variable matrix in a structure C
How does Haskell compute this enormous number instantly?
Controlling exportation of constructors in code extracted from Coq
Getting Vim to recognize XML
Can't modify loop-variable in lua [duplicate]