I request that the following data is removed from The Stack and StackOverflow:
Commits
GitHub issue
StackOverflow:
Ekdohibs/PVSCodegen
Ekdohibs/autovideo
Ekdohibs/camlboot
Ekdohibs/coq-proofs
Ekdohibs/coq_hanoi
Ekdohibs/foundations-of-proof-systems-project
Ekdohibs/llama
Ekdohibs/mesecons.net
Ekdohibs/netlist-simulator
Ekdohibs/noisegrid
Ekdohibs/partial
Ekdohibs/prologin2014
Ekdohibs/pscala
Ekdohibs/technic_tutorial
Ekdohibs/toy-smt
Ekdohibs/tsp
Ekdohibs/why3-toposort
Note: If you don't want all resources to be included just remove the elements from the list above. If you would like to exclude all repositories and resources just add a single element "all" to the list.
I request that the following data is removed from The Stack and StackOverflow:
Note: If you don't want all resources to be included just remove the elements from the list above. If you would like to exclude all repositories and resources just add a single element "all" to the list.