ada/alt-ergo
0
0
Fork 0
mirror of https://github.com/AdaCore/alt-ergo.git synced 2026-02-12 12:39:26 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
alt-ergo/docs/sphinx_docs/About
History
Pierrot 6bda17e117 Update LICENSE.md (#1128) 
* Update LICENSE.md

* Redirection to LICENSE.md

There are too much copies of this file!
2024-05-21 15:34:04 +00:00
..
licenses
Update LICENSE.md (#1128)
2024-05-21 15:34:04 +00:00
changes.md
[doc] Document the floating-point and bitvector primitives (#762)
2023-07-27 14:04:49 +02:00
index.rst
Update LICENSE.md (#1128)
2024-05-21 15:34:04 +00:00
license.md
Update LICENSE.md (#1128)
2024-05-21 15:34:04 +00:00