int-y1 ce4ae37c19 chore: fix more typos in comments		2023-10-08 14:37:34 -07:00
..
lean.h	chore: fix more typos in comments	2023-10-08 14:37:34 -07:00
lean_gmp.h	chore: missing #ifdef LEAN_USE_GMP	2021-11-29 11:35:13 -08:00