Hi there! Please sign in
help
tags
users
badges
ALL
UNANSWERED
Ask Your Question
RSS
Sort by »
date
activity ▼
answers
votes
1
question
Tagged
descriptor
×
term
×
10
views
1
answer
4
votes
2023-06-30 18:50:02 +0000
nofretete
What is the method for composing the iota descriptor in Coq?
term
descriptor
Contributors
Tags
descriptor
×1
term
×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
×