- Qt 6.12
- Qt WebEngine
- Qt WebEngine Licensing
- Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives
- Qt 6.12.0 Reference Documentation

# Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives

Project Homepage

     The Apache License, Version 2.0 (Apache-2.0)

     Copyright 2015-2020 the fiat-crypto authors (see the AUTHORS file)

     Licensed under the Apache License, Version 2.0 (the &quot;License&quot;);
     you may not use this file except in compliance with the License.
     You may obtain a copy of the License at

         http://www.apache.org/licenses/LICENSE-2.0

     Unless required by applicable law or agreed to in writing, software
     distributed under the License is distributed on an &quot;AS IS&quot; BASIS,
     WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
     See the License for the specific language governing permissions and
     limitations under the License.