Zulip Chat Archive

Stream: kbb

Topic: SL2Z


view this post on Zulip 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