Jáchym Barvínek comments

Results 13 comments of


                                            Jáchym Barvínek

I would appreciate 64bit ints. perhaps with a switch as an argument or compilation option.

I am having the same problem on Arch.

but it seems the tutorial is intended for LEAN 2 only? So maybe this should just be closed.