felix.git/test/golden/calc/glossing.golden, branch hotgUnnamed repository; edit this file 'description' to name the repository.
https://git.adelon.net/felix.git/atom?h=hotg2026-08-03T19:00:28+00:00Remove obsolete verification machinery2026-08-03T19:00:28+00:00adelon22380201+adelon@users.noreply.github.com2026-08-03T19:00:28+00:00urn:sha1:5cdde1fd0f976863ae4b5831ab389048138b06a4Validate relation parameter arity2026-07-27T16:19:29+00:00adelon22380201+adelon@users.noreply.github.com2026-07-27T15:32:47+00:00urn:sha1:3b573d94d4c5e82802745daa7c7d679727155e7dHandle bounded calculations2026-04-12T20:03:56+00:00adelon22380201+adelon@users.noreply.github.com2026-04-12T20:03:56+00:00urn:sha1:78379138430db3ae0575be8148b2646e8685f834Update golden tests2026-02-13T23:54:25+00:00adelon22380201+adelon@users.noreply.github.com2026-02-13T23:54:25+00:00urn:sha1:1122576d9283d499915ec4d0a87ee8cf03e5339eRemove `lookupLexicalItem`, attach info in AST instead2026-02-05T18:50:34+00:00adelon22380201+adelon@users.noreply.github.com2026-02-05T18:50:34+00:00urn:sha1:b25ec4c14cc4c4cfc0dd410a4b8cd74d411ad06cAdd location info to implicit QED step2025-12-16T16:10:31+00:00adelon22380201+adelon@users.noreply.github.com2025-12-16T16:10:31+00:00urn:sha1:ed546f3ce3d7c4e5840387beb2d89c8da05378eaFix column location2025-12-14T16:54:05+00:00adelon22380201+adelon@users.noreply.github.com2025-12-14T16:54:05+00:00urn:sha1:8e7d2c94d8449b8512fd6257534b4c593319b4aePropagate location info further2025-12-09T22:20:55+00:00adelon22380201+adelon@users.noreply.github.com2025-12-09T22:20:55+00:00urn:sha1:2975712d575c28d4820e379e55609960a71dcd1dGather some location info from parser2025-12-09T17:47:46+00:00adelon22380201+adelon@users.noreply.github.com2025-12-09T17:47:46+00:00urn:sha1:82ba804585cb80f66d58de41b0401fc2049d14d7
WIP
Add quantified calcs and relax tokenization2025-07-16T10:36:32+00:00adelon22380201+adelon@users.noreply.github.com2025-07-16T10:36:32+00:00urn:sha1:9aac1a22c4ff4b4be16800b86e34a94d358b0deb
Use an `\iff`-calc to speed up `union_as_unions`. Also remove `in_implies_neq` which seems to interact badly with the choice axiom used by superposition-based proofs like Vampire in cut-down problems.