anthonybordg / isabelle_marries_dirac Goto Github PK
View Code? Open in Web Editor NEWA certified library of quantum computing using the proof assistant Isabelle
A certified library of quantum computing using the proof assistant Isabelle
If you open a PR, please check the files changed in the dedicated panel (below the name and number of your PR) to catch any anomaly.
Of course, it's better if you can do that in some way before opening a PR.
Submitting a PR should be like submitting an academic paper, one should have very high standards.
sorry
left in the code in individual forks are ok, but if you open a PR no sorry
should be left in your code.
@jaycech3n changed the name of the theory MoreTensor.thy
to More_Tensor.thy
and rightly so, since the former name did not respect my (implicit) own conventions about naming theories. But, he is now seen as a contributor of the file and the only one! I naively did not expect this behavior of GitHub.
For the record, @MH2520 and I have been the only contributors of this theory so far.
In the future, changes in the names of theories should be done by a genuine contributor, or better they should be avoided altogether (since the problem would be somewhat the same). We should get right the names of theories from the very beginning.
However, I want to say that it's not Josh's fault, it's my fault as the administrator of the repo.
I take the opportunity to make explicit the conventions about naming theories for everyone (@Lachnitt ): underscores between words and capitals for the first letter of each word.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.