Skip to content
This repository has been archived by the owner on Jan 5, 2025. It is now read-only.

9章 tactics-induction-proofs #77

Merged
merged 3 commits into from
Aug 25, 2024

表現微修正

95e78af
Select commit
Loading
Failed to load commit list.
Merged

9章 tactics-induction-proofs #77

表現微修正
95e78af
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar