Skip to content

runtimeverification/k

Error
Looks like something went wrong!

About

K Framework Tools 7.0

Resources

Readme

License

BSD-3-Clause license
Activity
Custom properties

Stars

508 stars

Watchers

38 watching

Forks

159 forks
Report repository

Releases 1,849

K Framework Release v7.1.280 Latest
Jul 18, 2025
+ 1,848 releases

Packages

No packages published

Contributors 114
+ 100 contributors

Languages