Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with discussion
Search options not deleted
user 78
Use if the question you're asking is designed to reflect different opinions or best-practices on a particular topic, with the goal of reaching community consensus.
6
votes
Engineerings questions on internal details of Proof Assistant implementations, usage and mod...
My view is that we are trying to stay inclusive. This is clearly tightly related to proof assistants, and it is some of the people that hang out on this site that more likely knows the answer.
TreborMod
- 4,334
0
votes
Accepted
Hobbled math processing on this site?
My guess is that your browsers haven't loaded the math CSS file yet. This is a common phenomenon for both mathjax (CommonHTML render engine) and katex. If this persists, you can try opening the develo …
TreborMod
- 4,334
4
votes
0
answers
28
views
On tags for technical support
I doubt that tags like installation is of any use. No one is probably going to watch or use this tag, because people don't tend to learn everything about the installation of every proof assistant.
I s …
TreborMod
- 4,334
9
votes
Accepted
Syntax highlighting for proof assistants
The syntax highlighting of StackExchange markdown is based on highlight.js. Quoting from the Meta post:
Keep in mind that Stack Exchange does not maintain this syntax highlighter (aside from installi …
TreborMod
- 4,334
4
votes
1
answer
68
views
Policies on answers porting code
In questions such as this, the OP asks for proofs, definitions, methodology etc. on a specific topic, but does not require a specific proof assistant*. There will imaginably be answers that are purely …
TreborMod
- 4,334
2
votes
0
answers
27
views
Tags concerning variables and bindings
Should the tags bound-variables binders (and possibly de-bruijn-indexing) be merged? There probably won't be any question exclusively discussing binders and not bound variables. De bruijn indices, in …
TreborMod
- 4,334
4
votes
0
answers
38
views
Renaming "extensional-equality" to "extensional-type-theory"
Is there any better suggestion or reasons against changing extensional-equality to extensional-type-theory? As Couchy suggests, the current tag is slightly ambiguous. If there is no objection, I think …
TreborMod
- 4,334