k

key.core.proof_references

API for using KeY for maintaining references between objects in proofs
https://key-project.org/
GNU General Public License (GPL), Version 2
KeY Developers
using references proofs objects maintaining between
大版本 版本 最近更新
2.12 2.12.2 2023-12-16 22:00:28
2.12.1 2023-10-15 23:30:48
2.12.0 2023-08-19 01:49:15
共3条记录