Junyan Xu

Conversion script on Colab (courtesy of @godmoves) https://colab.research.google.com/drive/16eXKg_WswzadfpfbIZzATcSy0qL7F0gC

Someone also made a convert_minigo.exe (supposedly using PyInstaller) which is 34.6MB in size but saves python and tensorflow installation, so an overall gain!

In the old TabGroups Manager you can drag one or multiple tabs to another tab group, a feature that seems to missing in nowadays tab group WEs. (Tab groups are...

ELF models can be easily converted into Leela Zero format, which is how the majority people use the ELF models (with Lizzie, or GRP etc.). The ELF engine finally has...

Using TabGroup Manager revived in Pale Moon before, recently trying to migrate to Firefox Quantum, now using Sync Tab Groups and it seems to work fine. However, VTR currently doesn't...

I think yes!

I planned to notify you once I confirm that CI passed, but you got here earlier than me :)

``` /- The `doc_blame` linter reports: -/ /- DEFINITIONS ARE MISSING DOCUMENTATION STRINGS: -/ -- algebra/hom/centroid.lean #check @centroid_hom.to_add_monoid_hom /- def missing doc string -/ Error: centroid_hom.to_add_monoid_hom - def missing doc...

Hmm I got a strange deterministic timeout in field_theory/is_alg_closed/basic (which I didn't modify) at ``` structure subfield_with_hom := (carrier : subalgebra K L) (emb : carrier →ₐ[K] M) ``` ~~I...

Thanks for the reviews! I'll get back to this PR in 1-2 days. Feel free to commit directly in the meantime.