Certificate Programs
Courses
Proofs
Building Blocks
Types
Functions
Properties
Conditional Properties
Why Logicwalk?
Log In
Get Started
Get first token
the first token in (pair (
name
,
some
))
=
name
Comments
Please
log in
to add comments