Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dakotah Lambert
conf.researchr.org general profile
FLOPS 2024 profile
Not registered as user yet
Name:
Dakotah Lambert
Country:
France
Affiliation:
Université Jean Monnet
Contributions
2024
FLOPS
Author of System Description: A theorem-prover for subregular systems: The Language Toolkit and its interpreter, plebby within the FLOPS 2024-track
Share
x
Wed 20 Nov 02:30