Stream: SErAPIS

Topic: search only one afp entry


view this post on Zulip Jan van Brügge (Apr 23 2021 at 17:05):

Is it possible to restrict the search to a certain set of AFP entries. E.g. only for Nominal2?

view this post on Zulip Jan van Brügge (Apr 23 2021 at 17:12):

also, the "Remove results from this theory" does not work

view this post on Zulip Jan van Brügge (Apr 23 2021 at 20:47):

Ah, no it does, but only for the next search

view this post on Zulip Angeliki Koutsoukou-Argyraki (May 05 2021 at 22:27):

Hi @Jan van Brügge You can restrict to one (or more) AFP topics, for example Algebra (AFP/Mathematics/Algebra), Geometry (AFP/Mathematics/Geometry) etc.
If you already know more specifically what you need, like the set of the AFP entries (I assume you mean different theories from the same entry, right?) I suggest you type this in the "keywords" , that should do the trick. In particular I just tried searching with only "nominal2" in the keywords and it returns a bunch of results from the AFP from Nominal2.Nominal2_Abs, Nominal2.Nominal2_Base... If you want to make this more specific, you can try adding more keywords. Does this help?

view this post on Zulip Yiannos (May 05 2021 at 22:54):

(deleted)


Last updated: Feb 27 2024 at 08:17 UTC