{"push_id":754854163,"size":1,"distinct_size":1,"ref":"refs/heads/experimental/csharp","head":"32c1dbf8c22a4774b916b8683c8afbdf201b5d4e","before":"b89436bd0b32c5045ff0b55943db5fee70928dcb","commits":[{"sha":"32c1dbf8c22a4774b916b8683c8afbdf201b5d4e","author":{"email":"f4367c9c20ffc6213144fc5d5bc1521ca42d2ae6@gmail.com","name":"William Guss"},"message":"Providing proofs for the approximation of $\\mathfrak{n}_2$ by \\mathfrak{n}.","distinct":true,"url":"https://api.github.com/repos/MadcowD/FNN/commits/32c1dbf8c22a4774b916b8683c8afbdf201b5d4e"}]}