| ID | 1987 |
|---|---|
| Requires Update | 0 |
| Render | proof assistants search |
| Domain | stackexchange.com |
| Subdomain | proofassistants |
| Destination | /search?q=%s |
| Tld | .com |
| Placeholder | results from stackexchange.com |
| Words | stackexchange proofassistants |
| Data | |
| search default? | 0 |
| by priority, lowest first | 0 |
| under domain | 0 |
| Icon | |
| Adult | |
| Userinput | |
| Imported | 1 |
| Order Adjusted | 1 |
| Cat1 |