0xdf198d67 checks

0xdf198d67659100c90a58ecd6b01d034d

no description

Anonymous package: import it by hash.

Published

2026-10-04

Size

146,258 bytes, 18 files

License

MIT (LICENSE)

Declarations

154 laws (154 proved), 461 defs, 8 types

Import

import 0xdf198d67659100c90a58ecd6b01d034d/LAWS.bend as LAWS
import 0xdf198d67659100c90a58ecd6b01d034d/PROOF.bend as PROOF
import 0xdf198d67659100c90a58ecd6b01d034d/bonded.bend as Bonded
import 0xdf198d67659100c90a58ecd6b01d034d/force.bend as Force
import 0xdf198d67659100c90a58ecd6b01d034d/geom.bend as Geom
import 0xdf198d67659100c90a58ecd6b01d034d/lib.bend as Lib
import 0xdf198d67659100c90a58ecd6b01d034d/par.bend as Par
import 0xdf198d67659100c90a58ecd6b01d034d/pbc.bend as Pbc
import 0xdf198d67659100c90a58ecd6b01d034d/pdb.bend as Pdb
import 0xdf198d67659100c90a58ecd6b01d034d/protein.bend as Protein
import 0xdf198d67659100c90a58ecd6b01d034d/rmsd.bend as Rmsd
import 0xdf198d67659100c90a58ecd6b01d034d/rng.bend as Rng
import 0xdf198d67659100c90a58ecd6b01d034d/sasa.bend as Sasa
import 0xdf198d67659100c90a58ecd6b01d034d/sim.bend as Sim
import 0xdf198d67659100c90a58ecd6b01d034d/templates.bend as Templates
import 0xdf198d67659100c90a58ecd6b01d034d/topology.bend as Topology
import 0xdf198d67659100c90a58ecd6b01d034d/tpl.bend as Tpl

Modules

• LAWS.bend 156 declarations, 154 laws
• PROOF.bend 0 declarations
• bonded.bend 55 declarations
• force.bend 50 declarations
• geom.bend 18 declarations
• lib.bend 0 declarations
• par.bend 3 declarations
• pbc.bend 13 declarations
• pdb.bend 95 declarations
• protein.bend 40 declarations
• rmsd.bend 10 declarations
• rng.bend 6 declarations
• sasa.bend 10 declarations
• sim.bend 45 declarations
• templates.bend 88 declarations — Generated by scripts/gen_templates.py from the PDB Chemical
• topology.bend 24 declarations
• tpl.bend 18 declarations

Other files

• LICENSE 1,101 bytes

Dependencies

No imports from other hub packages.

Dependents

No package in this build imports it.

Status on bend 2.0.36

SOME PROOFS FAIL
Error: 154 TODOs found.
The code is incomplete, and not a valid proof yet.