Skip to content

Issues: sven--/Software-Foundations

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

17 Open 10 Closed
17 Open 10 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

How to solve "Sub.v" without adding "records" into the core?
#27 opened Aug 17, 2014 by sven--
How to use Ltac while notation "_ |- _ \in _" is defined? syntax
#26 opened Aug 6, 2014 by sven--
3
Is there any situation that auto is better than eauto? question syntax theory
#25 opened Aug 1, 2014 by sven--
Unfolding notation? question syntax
#22 opened Jul 31, 2014 by sven--
Searching through notations question syntax
#16 opened Jul 26, 2014 by sven--
my_induction : introducing variable when defining tactic || naming more convenient way syntax
#15 opened Jul 24, 2014 by sven--
1
better way to define a tactic? syntax
#14 opened Jul 24, 2014 by sven--
4
Equiv.v, for_while_equiv unsolved problem
#12 opened Jul 18, 2014 by sven--
Imp.v, ceval_deterministic unsolved problem
#11 opened Jul 18, 2014 by sven--
1
MoreLogic.v, pigeonhole_principle unsolved problem
#10 opened Jul 18, 2014 by sven--
Poly.v, list_step_induction unsolved problem
#9 opened Jul 18, 2014 by sven--
1
MoreCoq.v, forall_exists_challenge unsolved problem
#8 opened Jul 18, 2014 by sven--
1
MoreCoq.v, double_induction unsolved problem
#7 opened Jul 18, 2014 by sven--
1
Try to use bullets in proof scripts
#6 opened Jul 15, 2014 by jeehoonkang
@sven--
palindrome question
#5 opened Jul 8, 2014 by sven--
2
Last problem on morecoq.v question
#3 opened Jul 5, 2014 by sven--
1
Prop? question
#2 opened Jul 5, 2014 by sven--
3
ProTip! Mix and match filters to narrow down what you’re looking for.