I have coq file and was working on it for days but now the file giving me following error
Error: Cannot find a physical path bound to logical path Strands.
also the required packages are as under
Require Import Lia. Require Import Coq.Lists.List. Import Coq.Lists.List.ListNotations. Require Import Strands. Require Import Bundles. Require Import Terms. Require Import StrandTactics. Require Import Penetrator. Require Import MinimalMPT. Set Implicit Arguments.
I tried changing and removing some packages restart the code but nothing works
New contributor
Sana is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.