Replace integers with the so-called big int (possibly by using Zarith) - Githubissues

gfngfn / SATySFi

A statically-typed, functional typesetting system

GNU Lesser General Public License v3.0

1.17k stars 83 forks source link

Replace integers with the so-called big int (possibly by using Zarith) #459

Open gfngfn opened 4 weeks ago