Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / charlesaverill/ctpe issues and pull requests

#35 - Unfold at <occurrence number>

Issue - State: open - Opened by svsoman 4 months ago

#34 - f_equal

Issue - State: open - Opened by CharlesAverill 6 months ago

#33 - Idtac

Issue - State: closed - Opened by CharlesAverill 6 months ago

#32 - Prolog semicolon *operator

Issue - State: closed - Opened by CharlesAverill 6 months ago

#29 - Lia

Issue - State: open - Opened by CharlesAverill 6 months ago

#28 - Auto SF links new line

Issue - State: closed - Opened by CharlesAverill 6 months ago

#27 - Auto example should show recursive behavior

Issue - State: closed - Opened by CharlesAverill 6 months ago

#26 - Inversion explain <= example

Issue - State: closed - Opened by CharlesAverill 6 months ago

#25 - Now page

Issue - State: closed - Opened by CharlesAverill 6 months ago

#24 - Repeat infinite loop warning

Issue - State: closed - Opened by CharlesAverill 6 months ago

#23 - Constructor page

Issue - State: open - Opened by CharlesAverill 6 months ago

#22 - Tacticals index precedence section

Issue - State: open - Opened by CharlesAverill 6 months ago

#21 - Try second example

Issue - State: closed - Opened by CharlesAverill 6 months ago

#20 - Tacticals index

Issue - State: closed - Opened by CharlesAverill 6 months ago

#19 - Easy page reference now

Issue - State: closed - Opened by CharlesAverill 6 months ago

#18 - Auto page reference SF automation chapters

Issue - State: closed - Opened by CharlesAverill 6 months ago

#17 - Highlight in-line code

Issue - State: open - Opened by CharlesAverill 6 months ago

#16 - Custom induction principle

Issue - State: closed - Opened by CharlesAverill 6 months ago

#15 - Principle of explosion glossary

Issue - State: open - Opened by CharlesAverill 6 months ago

#14 - Subst

Issue - State: open - Opened by CharlesAverill 6 months ago

#13 - Destruct example second goal 1/1 should be 2/2

Issue - State: closed - Opened by CharlesAverill 6 months ago

#12 - Pattern glossary page

Issue - State: open - Opened by CharlesAverill 6 months ago

#11 - Rewrite at

Issue - State: open - Opened by CharlesAverill 6 months ago

#10 - Assumption period

Issue - State: closed - Opened by CharlesAverill 6 months ago

#9 - Proof finished

Issue - State: closed - Opened by CharlesAverill 6 months ago

#8 - Do - second paragraph

Issue - State: closed - Opened by CharlesAverill 6 months ago

#7 - do tactical

Issue - State: closed - Opened by CharlesAverill 6 months ago

#6 - Submodule of CharlesAverill.GitHub.io

Issue - State: closed - Opened by CharlesAverill 6 months ago

#5 - Clear -

Issue - State: closed - Opened by CharlesAverill 6 months ago

#4 - Now tactical

Issue - State: closed - Opened by CharlesAverill 7 months ago

#3 - Auto example script

Issue - State: closed - Opened by CharlesAverill 7 months ago

#2 - Intro correction

Issue - State: closed - Opened by CharlesAverill 10 months ago

#1 - Consider contributing this to coq :)

Issue - State: open - Opened by andres-erbsen 10 months ago - 1 comment