wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

gf2 (107B)

      1 # Gf2
      2 
      3 According to [cate2023craig], enjoys [finite_model_property] and [craig_interpolation]
      4 
      5 Up: [logic]