Kernel-checked (Lean 4) numerical certificate for a BerkeleyGW 4.0 G0W0-GPP calculation (Si-EPM): production output matches the proved enclosure to 5.21 µeV
-
Updated
Oct 13, 2026 - Lean
Kernel-checked (Lean 4) numerical certificate for a BerkeleyGW 4.0 G0W0-GPP calculation (Si-EPM): production output matches the proved enclosure to 5.21 µeV
GWiz: GPU-Accelerated Yambo for Apple Silicon
Benchmark database (gaps + ARPES bandwidths) for testing electronic-structure methods on the band-gap problem. 13 materials (8 semiconductors + 5 simple insulators) with experimental data and LDA/HSE06/PBE0/GW reference values. Companion harness for the EFT dual-fermion pseudopotential extension.
To associate your repository with the gw-approximation topic, visit your repo's landing page and select "manage topics."