Hi there! Please sign in
help
tags
users
badges
ALL
UNANSWERED
Ask Your Question
RSS
Sort by »
date
activity ▼
answers
votes
1
question
Tagged
process
×
coq
×
10
views
1
answer
1
vote
2021-12-21 18:00:00 +0000
lalupa
What is the process of expressing the iota descriptor in Coq?
process
coq
descriptor
Contributors
Tags
coq
×1
descriptor
×1
process
×1
Copyright QStack.ai, 2010-2023. Content on this site is licensed under the Creative Commons Attribution Share Alike 3.0 license.
Please note: QStack requires javascript to work properly, please enable javascript in your browser,
here is how
dummy
×