Johan Commelin (Sep 12 2018 at 02:28):
This is a thread to discuss the merits of
SL2Z compared to the other 2 implementations that are available. @Mario Carneiro @Johannes Hölzl Could you see something like
SL2Z end up in mathlib, or would you suggest that
matrix (fin 2) (fin 2) int or
computable_matrix 2 2 int be used instead?
Last updated: May 18 2021 at 09:14 UTC