People - acl2-books - Improving Libraries for the ACL2 Theorem Prover

| Sign in

Project Home Downloads Wiki Issues Source

Summary People

1 - 27 of 27

Project People

Name	Role	Duties	Notes
jared.c....@gmail.com	Owner	stop breaking things	----
kaufm...@cs.utexas.edu	Owner	----	----
sswo...@gmail.com	Owner	----	----
matthew.j.kaufmann@gmail.com	Owner	----	----
strangen...@gmail.com	Committer	----	----
rage...@gmail.com	Committer	----	----
ewsm...@gmail.com	Committer	----	----
pid...@gmail.com	Committer	----	----
pcd...@gmail.com	Committer	----	----
Reitbl...@gmail.com	Committer	----	----
ja...@centtech.com	Committer	----	----
h...@cs.utexas.edu	Committer	----	----
robertst...@gmail.com	Committer	----	----
anna.slo...@gmail.com	Committer	----	----
danluu	Committer	----	----
nas1...@gmail.com	Committer	----	----
hanbing.liu	Committer	----	----
TheBeaN...@gmail.com	Committer	----	----
ruben.u...@gmail.com	Committer	----	----
david.s....@gmail.com	Committer	----	----
Konrad.S...@gmail.com	Committer	----	----
daron.vr...@gmail.com	Committer	----	----
amd...@gmail.com	Committer	----	----
saw...@pobox.com	Committer	----	----
carl.eas...@gmail.com	Committer	----	----
hars...@gmail.com	Committer	----	----
seweiss...@gmail.com	Committer	----	----

1 - 27 of 27