mirror of
https://github.com/parcadei/Continuous-Claude-v3.git
synced 2026-09-14 20:06:55 +08:00
parcadei
f8d7173d9e
A persistent, learning, multi-agent development environment built on Claude Code. Features: - 109 skills, 32 agents, 30 hooks - TLDR 5-layer code analysis (95% token savings) - Memory system with PostgreSQL + pgvector - Continuity ledgers and YAML handoffs - Math system (SymPy, Z3, Pint, Lean4) - Meta-skill workflows (/build, /fix, /explore) with modes and flags Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
7 lines
206 B
Lean4
7 lines
206 B
Lean4
import Mathlib.NumberTheory.Padics.PadicVal.Basic
|
|
#check @padicValRat.min_le_padicValRat_add
|
|
#check @padicValRat.add_eq_min
|
|
#check @padicValNat.pow
|
|
#check @padicValRat.inv
|
|
#check @Nat.dvd_of_le_padicValNat
|