Toggle navigation
JUPYTER
FAQ
View on GitHub
Execute on Binder
master
branch
2021.3
2024.2.3
alex99999/fixes
alex99999/scratch
arc
arcFiles
binop_seq
box
colors
debug
efunc
fields
genericQuickFix
improvedRenamer
instrument-code
issue565
knisht/ci
marat-kh/live-templates
marat-kh/new-goals-toolwindow6
marat-kh/redundant-parens-concret-to-psi-bug
marat-kh/tracer
marat-kh/tracer-ui
master
meta
private_bugs
server2
use
tag
v1.10.0.3
v1.10.0.2
v1.10.0.1
v1.10
v1.9.0.5
v1.9.0.4
v1.9.0.2
v1.9.0.1
v1.9.0
v1.8.0.1
v1.8.0
v1.7.0.3
v1.7.0
v1.6.0.3
v1.6.0.2
v1.6.0.1
v1.6.0
v1.5.0
v1.4.1
v1.4.0
v1.3.0
v1.2.0
v1.1.0
v1.0.0
intellij-arend
src
test
kotlin
org
arend
search
Name
..
proof
ArendProofSearchInsertTest.kt
ArendProofSearchTest.kt
ArendReferenceSearchTest.kt