Impact of parity violation on quantum entanglement a...

Prospects for quantum process tomography at high ene...

Violation of Bell inequalities from Cosmic Microwave...

証明支援系LEANに入門しよう最近對LEAN越來越感興趣

証明しながらプログラミング！ - タクティックによるCoqプログラミング一直很想做做看這樣的ppt

「嘘。CoqはIOできないのでHello worldできない」←草

https://journals.aps.org...
連了研究所vpn也下不到 明天回辦公室下載它

Loopholes in Bell Inequality Tests of Local Realism

https://www.cosmo-ufes.o...
https://background.uchic...
https://indico.global/.....

Life on a closed timelike curve

Quantum Non-Local Magic

Cosmological Bell Tests with Decoherence Effects

GitHub - inQWIRE/QWIRE: A quantum circuit language a...GitHub - duckki/lean-quantum: Formalized quantum com...QWIRE Practice: Formal Verification of Quantum Circu...

HepLean: Digitalising high energy physicsA Verified Optimizer for Quantum CircuitsSymbolic Reasoning about Quantum Circuits in CoqMathematical Aspects of Paradoxes in CosmologyA Coq-Based Infrastructure for Quantum Programming, ...https://rand.cs.uchicago...

The Binder Projectおおお好方便

Meeting報了CMB bell ineq 那篇
博後：所以這是在說quantum fluctuation還在CMB數據裡嗎
我：（不敢回答）
的確如果還在CMB裡的話應該會是個大新聞

A diagrammatic formulation of local realism

Temperature as a quantum observable

Quantum computational advantage implies contextualit...

Contextuality supplies the magic for quantum computa...