nobody

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

Stats

About

nobody questions

How to solve goals with invalid type equalities in Coq?

nobody answers

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]
port selfupdate: "macPorts sources: command execution failed"
How to get a list of paths in /etc/ld.so.conf on Linux
Get true stack trace of an error in lua pcall