Skip to content

runtimeverification/k

About

K Framework Tools 7.0

Resources

Readme

License

BSD-3-Clause license

Contributing

Contributing
Activity
Custom properties

Stars

518 stars

Watchers

38 watching

Forks

160 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