Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

List Dedukti backend on our active projects page #2775

Closed
ehildenb opened this issue Aug 5, 2022 · 1 comment · Fixed by #2892
Closed

List Dedukti backend on our active projects page #2775

ehildenb opened this issue Aug 5, 2022 · 1 comment · Fixed by #2892
Assignees
@radumereuta
Labels
version

Comments

@ehildenb
Copy link
Member

ehildenb commented Aug 5, 2022

https://gitlab.com/semantiko/K-semantics

This backend for K enables translating K into other logical formalisms like Coq, and it's working for real-world languages!

We should get the author's permission first, but it would be cool to list this on our active projects page, and perhaps on RV Research page.
@radumereuta
Copy link
Contributor

Take care of this here: #2514

@radumereuta radumereuta self-assigned this Aug 11, 2022
radumereuta added a commit that referenced this issue Sep 16, 2022
@radumereuta
List Dedukti as an active project
3a91a01 
Fixes: #2775
@radumereuta radumereuta mentioned this issue Sep 16, 2022
Merged
rv-jenkins added a commit that referenced this issue Sep 16, 2022
@radumereuta @rv-jenkins
List Dedukti as an active project (#2892)
7ea23b1 
Fixes: #2775

Co-authored-by: rv-jenkins <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@radumereuta radumereuta

Labels
version
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

List Dedukti as an active project runtimeverification/k
2 participants
@radumereuta @ehildenb