← HR & people

Proof Trace Summarizer

Condenses long Isabelle or Coq proofs into a short list of key logical steps.

/proof-trace-summarizerArabelaTso/Skills-4-SE

More in HR & people

  • Spreadsheet QAAnswers business questions about spreadsheets auditably.
  • Time To First ValueGets new developers to their first working result fast with better docs and quickstarts.
  • IndexingExplains how to read and query onchain data with events and The Graph.
  • Apify Job BoardsPull job postings from many boards in one run and prepare one validated, deduplicated.
  • Genre CraftTeaches genre fiction craft, like fair-play clues, romance beats, and thriller clocks.
  • Team BuilderDesign high-performing team structures and create missing skills.
  • S4h Economics Incentive MappingMaps who benefits, who pays, and what behaviours the incentive structure actually.
  • BlueprintingPlanning new bundle-plugins, splitting complex skills, combining skills into bundles.