paulaneeley

Ph.D. student in Logic, Computation, and Methodology at Carnegie Mellon University

Pittsburgh, PA

Pinned Repositories

3-2-mod-1
Undergraduate research project: algorithm to generate the distribution (3/2)^n modulo 1 over [0,1]
Language:C++00
modal
Language:Lean14 2 12

paulaneeley's Repositories

paulaneeley/modal
Language:Lean14 2 12
paulaneeley/3-2-mod-1
Undergraduate research project: algorithm to generate the distribution (3/2)^n modulo 1 over [0,1]
Language:C++00