Skip to content

Actions: hawkrobe/linglib

Actions

Build and Deploy Docs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docs.yml
279 workflow runs
279 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add mereotopology, Moon 2026 countability, Filip 2012 propagation gap… Build and Deploy Docs #279: Commit 4a2533a pushed by hawkrobe
5m 14s main
main
5m 14s
move Quantifier.lean from Lexical/Determiner/ to Theories/Semantics/Q… Build and Deploy Docs #278: Commit 98eadbe pushed by hawkrobe
35m 34s main
main
35m 34s
interpTy .t Bool → Prop: unify Montague type interpretation with Math… Build and Deploy Docs #277: Commit ebf8acb pushed by hawkrobe
4m 16s main
main
4m 16s
add se-marking RSA blog models: 7 variants exploring French anticausa… Build and Deploy Docs #276: Commit ff1ef97 pushed by hawkrobe
37m 50s main
main
37m 50s
promote probability API to FinitePMF: 7 canonical lemmas, redirect PA… Build and Deploy Docs #275: Commit 21926af pushed by hawkrobe
2h 0m 18s main
main
2h 0m 18s
Delete GEMINI.md Build and Deploy Docs #274: Commit dfe49b1 pushed by hawkrobe
1h 18m 39s main
main
1h 18m 39s
logPoint bit-length bracket, rlog∘rexp normalization, Nouwen2024 scal… Build and Deploy Docs #273: Commit eb0487b pushed by hawkrobe
1h 19m 42s main
main
1h 19m 42s
Chierchia 2006: deduplicate fragment bridges, fix section headers and… Build and Deploy Docs #272: Commit c7540a2 pushed by hawkrobe
1m 37s main
main
1m 37s
G&P 1996 audit: fix z⁺(r₂), Theorem 19, AGM bridge, toleratedBool_iff Build and Deploy Docs #271: Commit 05269cf pushed by hawkrobe
1m 23s main
main
1m 23s
Add PrValue (presupposed values), use for per's eq. 43 Build and Deploy Docs #270: Commit 1c16112 pushed by hawkrobe
1h 38m 55s main
main
1h 38m 55s
Discourse API cleanup, Umbach2004, generic WALS Datapoint (-1500 LOC) Build and Deploy Docs #269: Commit 0c48bf7 pushed by hawkrobe
1h 21m 21s main
main
1h 21m 21s
Bib audit batch 3 + Veltman1996/Divergence/ParamPred additions, cite … Build and Deploy Docs #268: Commit 9817735 pushed by hawkrobe
24m 51s main
main
24m 51s
Fix lewis-1969/stalnaker-1968/1974/1978: use original venues, not rep… Build and Deploy Docs #267: Commit 04629ff pushed by hawkrobe
1h 35m 27s main
main
1h 35m 27s
Presupposition refactor, Schlenker2003/PersonFeatures/ContextQuantifi… Build and Deploy Docs #266: Commit f13b367 pushed by hawkrobe
56m 26s main
main
56m 26s
Remove unverified page reference (p. 88) from Nordlinger 2023 citation Build and Deploy Docs #265: Commit 3e4965c pushed by hawkrobe
1h 42m 25s main
main
1h 42m 25s
Delete 3 dead files (2 deprecated redirects + 1 empty stub); register… Build and Deploy Docs #264: Commit 113c334 pushed by hawkrobe
26m 55s main
main
26m 55s
Clean up Modality API: delete SatisfactionOrdering.lean, dedup materi… Build and Deploy Docs #263: Commit 8b3f7de pushed by hawkrobe
12m 32s main
main
12m 32s
Multi-session batch: Quantifier universals, StrawsonEntailment PrProp… Build and Deploy Docs #262: Commit 03ecf19 pushed by hawkrobe
17m 19s main
main
17m 19s
Prove full triangle commutativity and GaloisCoinsertion for A/BE on m… Build and Deploy Docs #261: Commit 95386dd pushed by hawkrobe
14m 41s main
main
14m 41s
Add constructional fusion (MeaningComponents.fuse), 13 Levin 2026 ver… Build and Deploy Docs #260: Commit 0d170e8 pushed by hawkrobe
14m 56s main
main
14m 56s
Refactor questionUtility/expectedVSI from List to Finset (Finset W); … Build and Deploy Docs #259: Commit 4a3f353 pushed by hawkrobe
1m 38s main
main
1m 38s
Add Krifka 2026 concept dref formalization; unify MassCount across st… Build and Deploy Docs #258: Commit 54c8476 pushed by hawkrobe
13m 16s main
main
13m 16s
Add ter- three-way classification and passive type system for Indones… Build and Deploy Docs #257: Commit 4733b60 pushed by hawkrobe
1m 45s main
main
1m 45s
Formalize Giulianelli et al. 2026 generalised surprisal with dataset-… Build and Deploy Docs #256: Commit 69682d9 pushed by hawkrobe
1h 14m 8s main
main
1h 14m 8s
Formalize Giles et al. 2026 search efficiency with d'→overmodificatio… Build and Deploy Docs #255: Commit ff36e82 pushed by hawkrobe
5m 24s main
main
5m 24s