Sprache: Englisch
Charset: utf-8
Description: Alt-Ergo is an open-source automatic solver of mathematical formulas based on Satisfiability Modulo Theories (SMT). It is used by tools such as Why3, Frama-C, The Spark toolset, Caveat, EasyCrypt and Cubicle. AltErgo is maintained and distributed by...
Keywords: Alt-Ergo, AltErgo, Ergo, Alt, AltGr, SMT, SMT-LIB, solver, theorem, prover, satisfiability, modulo, program, software, verification, weakest, pre-condition, theories, OCaml, OCamlPro, linear, integer, arithmetic, rewriting, associativity,...
Author: OCamlPro SAS
Robots-Anweisung: all
Viewport: width=device-width, initial-scale=1
Die Website enthält laut CLOUDFLARE keine bedenklichen Inhalte und kann sowohl von Minderjährigen als auch in der Arbeit genutzt werden.
Bootstrap ist ein kostenloses und quelloffenes CSS-Framework, das auf die reaktionsschnelle, mobilfreundliche Front-End-Webentwicklung ausgerichtet ist. Es enthält CSS- und JavaScript-basierte Designvorlagen für Typografie, Formulare, Schaltflächen, Navigation und andere Oberflächenkomponenten.
Google Analytics ist ein kostenloser Webanalysedienst, der den Website-Verkehr verfolgt und berichtet.
jQuery ist eine JavaScript-Bibliothek, eine kostenlose Open-Source-Software, die das Traversieren und Manipulieren des HTML-DOM-Baums sowie die Ereignisbehandlung, CSS-Animation und Ajax vereinfacht.
Nginx ist ein Webserver, der auch als Reverse Proxy, Load Balancer, Mail Proxy und HTTP Cache verwendet werden kann.
Open Graph ist ein Protokoll, das dazu dient, jede beliebige Webseite in den Social Graph zu integrieren.
Ubuntu ist ein freies und quelloffenes Linux-Betriebssystem für Unternehmensserver, Desktops, Cloud und IoT.
Zeigen Sie eine CSS-Animation an, wenn Sie auf einer Seite nach unten blättern.
IP-Adresse Server:
188.165.227.172