If you have Telegram, you can view and join
halo2-lib Discussion right away.