This simulation of StackAid shows a year's worth of funding by 5K users. Learn more
StackAid LogoStackAid Logo
/
digama0

Mario Carneiro

I'm a PhD in Logic working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Total given$52
Projects(78)
stackaid/stackaid
$4
isaacs/rimraf
$4
codemirror/CodeMirror
$4
wasm-tool/wasm-pack-plugin
$4
webpack/webpack
$3
webpack/webpack-cli
$3
webpack-contrib/file-loader
$3
webpack-contrib/style-loader
$2
webpack-contrib/css-loader
$2
webpack/webpack-dev-server
$2
Projects Supporters About Blog Mastodon Contact Help Privacy Terms