Metatheory

Metatheory contém 3 skills coletadas de Arthur742Ramos, com cobertura ocupacional por repositório e páginas de detalhe dentro do site.

Perfil de Arthur742Ramos Ver no GitHub

skills coletadas

Stars

atualizado

2026-02-17

Forks

Cobertura ocupacional

Desenvolvedores de software Cientistas de pesquisa em computação e informação

2 categorias ocupacionais · 100% classificado

explorador de repositórios

Skills neste repositório

criador/repositório/skill

skill

ocupação

descrição

atualizado

aristotle

Desenvolvedores de software

Run Aristotle automated theorem prover on Lean files to fill sorry placeholders. Use when you have a file with sorries that needs automated proof search. Handles API setup and result verification.

2026-02-17

confluence-guide

Cientistas de pesquisa em computação e informação

Guide for proving confluence of a rewriting system. Use when asked to prove Church-Rosser or confluence properties.

2026-02-17

sorry-checker

Desenvolvedores de software

Check that no sorry placeholders exist in the codebase. Use after making changes or when asked to verify proof completeness.

2026-02-17