Papers

Topics

Authors

Recent

View all

Gemini 2.5 Flash

Gemini 2.5 Flash

169 tokens/sec

GPT-4o

7 tokens/sec

Gemini 2.5 Pro Pro

45 tokens/sec

o3 Pro

4 tokens/sec

GPT-4.1 Pro

38 tokens/sec

DeepSeek R1 via Azure Pro

28 tokens/sec

2000 character limit reached

Arithmetic as a theory modulo (2310.10326v1)

Published 16 Oct 2023 in cs.LO

Abstract: We present constructive arithmetic in Deduction modulo with rewrite rules only.

Citations (63)

View on Semantic Scholar

Summary

We haven't generated a summary for this paper yet.