tjf801

RuntimeError: Expected object of device type cuda but got device type cpu for argument #2 'mat1' in call to _th_addmm

11

I am trying to run this program, but it is returning `RuntimeError: Expected object of device type cuda but got device type cpu for argument #2 'mat1' in call to...

Feature Request: Any amount of control Qbits

7

it would be nice to be able to add any amount of "control points" to any gate, and if you have time, an inverted "control point" would be nice also.

PEP 695 – Type Parameter Syntax

3

## Feature Seeing as how Python 3.12 is now in beta, I feel like RustPython should also work on being able to parse the new syntax introduced in [PEP 695](https://peps.python.org/pep-0695/),...

Given that these are proof assistants that are also full-fledged dependently typed programming languages, I think all three of these languages (and similar ones that I am unaware of) definitely...

feat: Add `String.length_join` and `List.length_join`

3

Quick fix for #770.

feat: Add `String.isPrefixOf` theorems

1

This PR is a redo of #782, but adds the following: - Auxiliary theorems used to prove the theorems below - These were already in #782 - Proof of equivalence...