https://carmenchui.github.io/ https://carmenchui.github.io/prover9 https://carmenchui.github.io/files/cchui_basc_thesis.pdf 2026-06-23T22:40:23+00:00 https://carmenchui.github.io/files/cchui_masc_defence.pdf 2026-06-23T22:40:23+00:00 https://carmenchui.github.io/files/cchui_phd_dept_defence.pdf 2026-06-23T22:40:23+00:00 https://carmenchui.github.io/files/cchui_phd_senate_defence.pdf 2026-06-23T22:40:23+00:00 https://carmenchui.github.io/talks/201206_mappings.pdf 2026-06-23T22:40:23+00:00 https://carmenchui.github.io/talks/201211_toffee_dolce.pdf 2026-06-23T22:40:23+00:00 https://carmenchui.github.io/talks/201410_keod.pdf 2026-06-23T22:40:23+00:00 https://carmenchui.github.io/talks/201607_fois_most.pdf 2026-06-23T22:40:23+00:00 https://carmenchui.github.io/talks/201607_residue.pdf 2026-06-23T22:40:23+00:00 https://carmenchui.github.io/talks/201707_lautens.pdf 2026-06-23T22:40:23+00:00 https://carmenchui.github.io/talks/202005_lincs.pdf 2026-06-23T22:40:23+00:00 https://carmenchui.github.io/talks/202006_matter.pdf 2026-06-23T22:40:23+00:00 https://carmenchui.github.io/talks/202109_kinship.pdf 2026-06-23T22:40:23+00:00