Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / anthonybordg/isabelle_marries_dirac issues and pull requests

#23 - Updated Quantum_Teleportation.thy

Pull Request - State: closed - Opened by MH2520 almost 5 years ago

#22 - Merged conflicts

Pull Request - State: closed - Opened by Lachnitt over 5 years ago

#21 - Qft

Pull Request - State: open - Opened by Lachnitt over 5 years ago - 4 comments

#20 - Added proof that product of two gates is gate

Pull Request - State: closed - Opened by Lachnitt over 5 years ago

#19 - Finished proof of Nash equilibrium and Pareto optimum

Pull Request - State: closed - Opened by MH2520 over 5 years ago - 2 comments

#18 - Quantum Prisoner's Dilemma only

Pull Request - State: closed - Opened by MH2520 over 5 years ago

#17 - Quantum Prisoner's Dilemma

Pull Request - State: closed - Opened by MH2520 over 5 years ago - 4 comments

#16 - Pull request

Issue - State: closed - Opened by AnthonyBordg over 5 years ago

#15 - Admitted proofs

Issue - State: closed - Opened by AnthonyBordg over 5 years ago

#14 - Deutsch-Jozsa

Pull Request - State: closed - Opened by Lachnitt over 5 years ago - 1 comment

#13 - Hanna

Pull Request - State: closed - Opened by Lachnitt over 5 years ago

#12 - Deutsch_Jozsa_Algorithm

Pull Request - State: closed - Opened by Lachnitt over 5 years ago - 6 comments

#11 - Names of theories

Issue - State: closed - Opened by AnthonyBordg over 5 years ago - 7 comments

#10 - ROOTS + rename

Pull Request - State: closed - Opened by jaycech3n over 5 years ago

#9 - ROOTS file

Pull Request - State: closed - Opened by jaycech3n over 5 years ago - 6 comments

#8 - Binary nat

Pull Request - State: closed - Opened by Lachnitt over 5 years ago

#7 - Binary nat

Pull Request - State: closed - Opened by Lachnitt over 5 years ago

#6 - Deutsch algorithm

Pull Request - State: closed - Opened by Lachnitt over 5 years ago

#5 - Finished Quantum_Teleportation.thy

Pull Request - State: closed - Opened by MH2520 over 5 years ago - 1 comment

#4 - Finished MoreTensor and No_Cloning

Pull Request - State: closed - Opened by MH2520 over 5 years ago - 1 comment

#3 - Finished MoreTensor.thy and almost finished No_Cloning.thy

Pull Request - State: closed - Opened by MH2520 over 5 years ago - 3 comments

#2 - Finished all proofs, cleaned up redundant lemma in Quantum.thy

Pull Request - State: closed - Opened by MH2520 almost 6 years ago - 1 comment

#1 - Some progress on the proof

Pull Request - State: closed - Opened by MH2520 almost 6 years ago - 1 comment