Diploma thesis algorithm

This repository contains an implementation of the decision procedure from my diploma thesis "Decidability of Diophantine equations in a theory adjacent to IOpen"

Name		Name	Last commit message	Last commit date
Latest commit History 282 Commits
.cargo		.cargo
src		src
www		www
.envrc		.envrc
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
README.md		README.md
build-wasm.sh		build-wasm.sh
build.nix		build.nix
devshell.nix		devshell.nix
flake.lock		flake.lock
flake.nix		flake.nix
nixos-module.nix		nixos-module.nix
nixos-vm.nix		nixos-vm.nix
rust-toolchain.toml		rust-toolchain.toml

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Repository files navigation

Diploma thesis algorithm

About

Releases

Packages

Used by

Contributors

Languages

Folders and files

Latest commit

History

Repository files navigation

Diploma thesis algorithm

About

Resources

Stars

Watchers

Forks

Releases

Packages

Used by

Contributors

Languages